Főmenü megnyitása

Módosítások

233 bájt törölve ,  7 évvel ezelőtt
* egyes axiómák ''függetlensége''.
 
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.
<!-- jelentése
 
1 : saját értékeinél fogva széles körben elfogadott maxima 2 : következtetés alapján igaznak elfogadott kijelentés - posztullátum 3 : elfogadott törvény, elv vagy szabály, magától értetődő igazság -->
 
== Példák axiómára ==
485

szerkesztés