User contributions for 2406:E006:178C:1:781F:A651:32E2:B81E
For 2406:E006:178C:1:781F:A651:32E2:B81E talk block log logs filter log
11 August 2016
- 10:5110:51, 11 August 2016 diff hist +496 Wikipedia:Reference desk/Mathematics →Peano Arithmetic: Are there propositons provable in PA, yet not in the following similar system?
- 10:2110:21, 11 August 2016 diff hist +1 Wikipedia:Reference desk/Mathematics →Peano Arithmetic: Are there propositons provable in PA, yet not in the following similar system?
- 10:2110:21, 11 August 2016 diff hist +1,124 Wikipedia:Reference desk/Mathematics →Peano Arithmetic: Are there propositons provable in PA, yet not in the following similar system?