A TheoDefről, a használt Gödel-számozás leírása Technikai hibák jelentése, segítségkérés, javaslattételA szerkesztéslista (2023. június 27., 17:40-től van benne minden a változatokhoz a tartalom mellett tartozó információ)
A weboldal jelenleg fejlesztés alatt áll, előfordulhat egyes funkciók átmeneti működésképtelensége.
Az ezen Gödel-számmal bíró állítás hamis, ilyen tételt még senki nem küldött be, vagy nonszensz a Gödel-szám. A második fennállta esetén kattints ide, és küldd be.