Főmenü megnyitása

Módosítások

112 bájt hozzáadva ,  7 évvel ezelőtt
 
Egy axiómarendszert akkor nevezünk teljesnek, ha a ráépülő elmélet minden igaz állítása logikailag levezethető az axiómákból (vagy azok következményeiből). Ellentmondásmentes, ha bármely két, az axiómákból logikailag levezethető állítás nem mond ellent egymásnak. Végül független, ha semelyik axiómát nem lehet a többiből levezetni.
 
Másik megközelítésben egy axióma legyen:
* Egyszerű
* Ellentmondásmentes
* Másra vissza nem vezethető
 
== Példák axiómára ==
14 090

szerkesztés