ŚFiNiA

Andy72

Wśród tzw "empirystów" zapatrzonych we własny pępek czyli własną świadomość, modne jest gadanie że matematyka nic nie znaczy, bo możemy przyjąć takie albo inne aksjomaty.
Tymczasem , stawiam hipotezę, że aksjomaty to nic innego jak rozszerzona definicja. Na przykład: nie ma definicji zbioru, uważa się go za pojęcie pierwotne. A są aksjomaty, które właśnie definiują to, co należy uważać za zbiór. Podobnie jak definiuje się na przykład "normę" czy "metrykę" poprzez funkcje które spełniają określone warunki.
Gdyby były inne aksjomaty to nie znaczy że sami sobie wymyślamy matematykę, tylko mówimy o czymś innym niż "zbiór", a jakimś "ungaunga" mającym inne właściwości.