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.
Módosítás


A változat dátuma: 2023. 09. 05., 06:59:32am
A változat szerzője: Hári Zalán alias Alhazen
A változatbani bizonyítás: Ez sincs.
A változatbani tételleírás: Még nincs kész.
Az előző változaton végzett változtatások összefoglalva: Mindjárt jövök
A változatbani tételleírás hossza byte-ban: 17
A változatbani bizonyítás hossza byte-ban: 11

A változat dátuma: 2023. 09. 05., 08:19:30am
A változat szerzője: Hári Zalán alias Alhazen
A változatbani bizonyítás:
A változatbani tételleírás: Geometriai verzióban: minden téglalap területe egyenlő két különböző oldala hosszának szorzatával. CatGeometriaCat
Az előző változaton végzett változtatások összefoglalva: Kezdetnek
A változatbani tételleírás hossza byte-ban: 128
A változatbani bizonyítás hossza byte-ban: 7

A változat dátuma: 2023. 09. 05., 08:19:59am
A változat szerzője: Hári Zalán alias Alhazen
A változatbani bizonyítás:
A változatbani tételleírás: Geometriai verzióban: minden téglalap területe egyenlő két különböző oldala hosszának szorzatával.

Lásd még

CatGeometriaCat
Az előző változaton végzett változtatások összefoglalva: Lásd itt
A változatbani tételleírás hossza byte-ban: 149
A változatbani bizonyítás hossza byte-ban: 7

A változat dátuma: 2023. 09. 12., 08:14:56am
A változat szerzője: Hári Zalán alias Alhazen
A változatbani bizonyítás: Az f(x)=c függvény integrálja f(x)=cx, így ha f(x)=b, ~~~98~~~f(a)db=ab
A változatbani tételleírás: Geometriai verzióban: minden téglalap területe egyenlő két különböző oldala hosszának szorzatával.

Lásd még

CatGeometriaCat
Az előző változaton végzett változtatások összefoglalva:
A változatbani tételleírás hossza byte-ban: 149
A változatbani bizonyítás hossza byte-ban: 75