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.

A TheoDefben található tételek:

22103211211010001195111410151001111210100111951114101510011111111210109411951114101510011111141016101510011111133211319310321112161015100111111392103211
22103211213213003100
221032112132141000113101
22103218331121261032131033141015100111111131101000119511141015100111121010011195111410151001111111121010941195111410151001111111
2210321833112132131033120111313213331232
22103218331121321410331201113132141033111332
2210321833112132273331332732
2210321833112132283331332832
2210321833112132293331332932
221032183311219832593331321333
2210352402183218331834112110321435123314353134143511303226236927332623692734262369
6564624561452369284524016360221055236511212010322366183323661834236618944223661121321333139413423155
8532404588323836
961097103218331111311610321410021112331410021111