User contributions for 62.158.139.49
Jump to navigation
Jump to search
30 August 2012
- 23:0423:04, 30 August 2012 diff hist +5,609 N Non-standard model of arithmetic Changes the term existence with construction. (The existence, as the article says itself, is already evident by incompleteness)