2008. július 1.
- 13:472008. július 1., 13:47 eltér történet −1 Elsőrendű logika Nincs szerkesztési összefoglaló
- 13:462008. július 1., 13:46 eltér történet 0 Peano-aritmetika →Peano-féle axiómák
- 13:452008. július 1., 13:45 eltér történet +1 Gödel első nemteljességi tétele →Konkrét állítások
- 13:432008. július 1., 13:43 eltér történet +1 Gödel első nemteljességi tétele →Terminológiai megjegyzések
- 13:422008. július 1., 13:42 eltér történet +1 Gödel első nemteljességi tétele →Terminológiai megjegyzések