- nem tudjuk, pontosan milyen a valóság, így azt sem, mi írja le jól

 

Ha nem tudjuk milyen a valóság, hogyan tudunk valóságos dolgokat késziteni (pl. mobiltelefon, PC) ?

 

- nem kell, hogy maguk az axiómák egyenként valamiféle józan ésszel beláthatóak legyenek, az erre épülő modell működése a döntő

 

Tudsz példát mondani józan ésszel be nem látható axiómákra és az ezekre épülő modellekre?

 

Szerintem én túl öreg vagyok, nekünk annak idején ezt tanitották az iskolában:

- definició: az, amivel megmondjuk, hogy mi micsoda. Ez szabadon választható.

- axióma: egy igaz állitás, nem kell bizonyitani, nem választható szabadon

- tétel: egy igaz állitás, amit bizonyitani kell

- bizonyitás: azoknak a matematikai levezetéseknek a sorozata, amivel bebizonyitjuk a tételt