Informatika és tudomány

  • KisEmir
    #262
    Ha tovább olvastál volna:
    "Az axiómarendszerekkel szemben támasztott három alapkövetelmény:
    a teljesség,
    az ellentmondásmentesség és az
    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.

    Másik megközelítésben egy axióma legyen:

    Egyszerű
    Ellentmondásmentes
    Másra vissza nem vezethető"