User contributions for 109.145.57.108
Jump to navigation
Jump to search
21 September 2014
- 04:1804:18, 21 September 2014 diff hist −3 Ordinal analysis →Definition current
- 00:4100:41, 21 September 2014 diff hist +1,706 Proof sketch for Gödel's first incompleteness theorem →The provability relation current