Keresés

Variáló axiómarendszer keresése bizonyos axiómarendszerek fölé !

------------------

aR. = az axiómarendszer rövidítése

A:{aR1, aR2, aR3, ... aRn}

aRx := standard axiómarendszer
aRy := nem standard axiómarendszer
aR(f) := variáló axiómarendszer

[ nem standard axiómarendszerek =aR(f): a standard axiómarendszer ]

aR1 =def1 aRx
aR2 =def2 aRx
aR3 =def3 aRx
aRy =def:y aRx

aR1, aR2, aR3, ... aRn =aR(f): aRx

------------------

Az A egy halmaz, az A az aRn elemi axiómarendszerek halmaza egy valamely kt. közös témára .
Az A halmaz egyik aRx elemét kiválasztjuk standard elemé, és a többi aRy elemet ehhez a aRx standard
elemhez f() viszonyítva adjuk meg, és aRy nem standard elemeknek nevezzük őket .
Ha több nem standard elem is van, akkor felsorolva is megadhatjuk őket . Ahol ha rákényszerülünk, akkor
az , elválasztójel helyet más elválasztójelet is használhatunk .

pl. például:
XIII =Rsz. 13
VII =Rsz. 7
XVI =Rsz. 16

XIII, VII, XVI =Rsz[I,V,X]: 13, 7, 16

pl. például:
{speciális relativitás elmélet, általános relativitás elmélet, ősrobbanás elmélet} =aR(g): Newtoni gravitáció

pl. például:

[ {New Foundationsi, Ackermanni, Peter Aczeli, fuzzyi, P. Vopěnkai, R. Holmesi, A. Kisielewiczi
halmazelméletek} =aR(h): Bourbaki halmazelmélet ]

------------------