Erre mondtam, hogy a PI=3.0 világban nyilván a sinus függvény egy hangyányit másként néz ki mint a mi világunkban.

Mi az, hogy "mi világunk", meg "pi=3 világ" ? Ebből és a hasonló mondataidból gyanítom, hogy kevered azt amit valóságnak nevezünk, az axiomatikusan felépített gondolati konstrukcióinkkal. 

Ez viszont nekem nagyon furcsa.

Azt hiszed, egy másfajta valóságban - akármit is értsünk ez alatt - ugyanazokból az axiómákból valami egész más következtetésekre jutnánk? Az axiómák nem önmagukban határoznák meg mi következik belőlük, hanem valahogy a valóság elemei is beleszólnának ebbe?

Hogyan tehetnék? Egy bizonyítás nem egyéb, mint logikai következtetések láncolata, ami az axiómáktól elvezett az állításig. Ebbe hogyan szólhat bele a valóság? Más lépések lennének logikusak, vagy hogy?