• Commandante
    #107
    A klasszikus analízis (komplexitásban a határérték számítástól fölfelé) asszem 6 axiómára alapszik. Az a szép az egészben, hogy ha ezek közül egyet - pontosabban bármelyiket - tényként fogadunk el (általában a Kantor axiómával tanítják az egyetemeken), akkor a többi 5 axióma ebböl az 1 kiválasztott axiómából matematikai eszközökkel levezethetö, azaz bizonyítható állítássá válik. Tehát egy axiómacsere ebben az esetben nem változtat semmin, minden további, az axiómára épülö további tétel érvényes marad.