ellauri032.html on line 382: Se että kolmion kulmien summa on oikokulma on jotenkin sama asia kuin se että oikokulmalla lepäävä kolmio tekee silmukan, jonka oikaisee se oikotie. Tää tuntuu ilmeiseltä. n-kulmion kulmien summa on (n-2)*pi eli oikokulma. Nelikulmiossa se on 2pi. Tätä voisi kehitellä vielä. 2pi = (pi-a)+(pi-b)+(pi-g) -> 2pi = 3pi - (a+b+g) -> a+b+g = pi. QED. 2pi on ympyrä, yhtälön oikea puoli kiertää kolmikulmion. Onko tää eri todistus kuin Eukleideen joka käyttää samansuuntaisia suoria? Eukleideen todistus on pitempi ja siinä tarvitaan apuviiva. Kai se riippuu siitäkin mitkä axioomat oletetaan. Epäeuklidisessa kolmiosumma ei pidä paikkaansa. koska paralleelit yhtyy ikuisuuden äärettömän etäisessä pisteessä. Monadit ei pysy loputtomiin erillään. Miten käy ton mun todistuxen oletuxien? Ehkä siellä ympyrä ei olekaan 2pi? Se onkin joku ellipsi tai hyberbeli? Niin kai.
ellauri158.html on line 110: Tässä tulee sit axioomat !
ellauri158.html on line 141: Siinä ne nyt sitten oli, axioomat. Ei näillä vielä kuuhun mennä, ei saada konstruoiduxi edes lukuteoriaa, vaikka mukana on kamaa jota ei löydy minun raamatustani eli ZF joukko-opista. Ontologiatodistus plus determinismi ainaskin.
ellauri164.html on line 177: Kysyin tossa iltateellä Seijalta onko sen mielestä olemassa synteettisiä apriori totuuxia. Eise ollut valmis ottamaan tähän kantaa. Mä oon kyllä vähän miettinyt että joukko-opin riidanalaiset axioomat kuten valinta-axiooma vois olla sellaisia. Tai sitten ne ei ole tottakaan. Sellaisia totuuxia on ainakin joille ei ole todistusta, ihan vaan sixi että totuuxia on enemmän kuin todistuxia. Se ei sinänsä haittaa ettei ole perimmäisiä totuuxia, koska axioomat voi valita monella tavalla.
4