Mi a következtetés legkisebb egysége, amit a matematikusok szerint már nem kell bizonyítani?

Ezek érdekelhetnek: [link] web.cs.elte.hu/~krja/

Különösen a 0. kötet első 2-3 fejezete: [link]

És kulturált helyeken mit szokás a segítségre válaszolni?

Nem azt, hogy köszönöm? ...

> Mivel ∀x∀y(x+sy)=s(x+y), ezért 1+s0=s(1+0).

> Itt miért nem kell bizonyítani, hogy az "ezért" szó jobboldalán szereplő dolog valóban következik a bal oldalán álló állításból?

Ez a szabály van használva : [link]

Ha elfogadod, akkor kész vagy, ha nem fogadod el, akkor elakadsz, nem sok mindenkit érdekel. (Brouwer és Kronecker megtagadták a kizárt harmadik elvét, és egy új matematikát kaptak, szóval..)

Ez a közre van szabva.

Nincs olyan, hogy matematikusok szerint. Amikor ilyeneken dolgoznak, akkor az alap nyelvben haladnak, és tudják a megfelelő lépéseket, és a lépések közti egyértelműségek olyan egyértelműek, hogy tudat alatt nem érzik azt, hogy abba bele menjenek( illetve ez előre meg volt irva, mivel már egy nyelvet használnak).

Amire a kérdésed inkább vonatkozik, amikor ezen kivül beszélünk, egy folyamat átadásáról MINDEN azt tapasztalni képes számára, akkor meg a köz lép életbe. Pl azt, hogy jó=jó nem kell bizonyitani, ugye, de amúgy igy is lenne, amikor a 0 lépésnél is csinálsz lépéseket. Hisz végül is minden isten, minden csak önmagát képes bizonyitani, hogy istenné terjessze ki magát.

Szóval amig ezen a bolygón élsz, és az egységek, amiket belátsz sokkal kisebbek, mint bárkinek a felfogóképessége, addig nincs helye ezt megkérdezni se, igazából. Ez mindig az adott bolygóra vonatkozik. Nincs definiálható legkisebb egysége, sőt ez nem is igazán igy működik a valóságban, ahogy a valóságban 1+1 sem egyenlő 2-vel, mint törvényszerűség.