User contributions for 62.158.139.49
Jump to navigation
Jump to search
31 August 2012
- 00:0400:04, 31 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)