Aksiom

Iz MaFiRaWiki

V matematični teoriji so aksiomi izjave, iz katerih izpeljemo vse dokazljive izjave teorije. Običajno za aksiome izberemo take čim bolj nazorne izjave, ki izražajo osnovne značilnosti strukture, ki jo teorija opisuje.

Aksiomi so neodvisni, če nobenega ne moremo izpeljati iz ostalih. To je zaželena lastnost teorije, saj pove, da so aksiomi izbrani varčno.

Kadar ima teorija neskončno mnogo aksiomov, običajno zahtevamo, da tvorijo odločljivo množico (znamo se odločiti, ali je dana izjava aksiom), ali vsaj izračunljivo preštevno množico (znamo našteti vse aksiome).

Glej tudi

Osebna orodja