Back Axiomenschema German Axiom schema English Schéma d'axiomes French Schema di assiomi Italian 公理図式 Japanese Axiomaschema Dutch Schemat aksjomatu Polish Схема аксиом Russian Аксіомна схема Ukrainian 公理模式 Chinese
Aksiomska shema, vrsta sheme. To je formula koja sadrži varijable metajezika i postaje aksiomom kada joj se varijable instanciraju s ispravno sastavljenim formulama u formalnom jeziku.[1]
Da bismo izbjegli da dospijemo u govorenje o svim svojstvima, aksiom iskazujemo kao aksiomsku shemu. U protivnom nas to vodi izvan granica logike prvoga reda i što zahtijeva teoriju svojstava. Sve rečenice koje imaju oblik aksiomske sheme su aksiomi. Ima ih beskonačno mnogo.[2]
- ↑ Filozofski fakultet u Splitu Arhivirana inačica izvorne stranice od 20. veljače 2020. (Wayback Machine) Peter Suber, Philosophy Department, Earlham CollegeRječnik logike prvog reda. Preveo na hrvatski Berislav Žarnić. (pristupljeno 16. srpnja 2020.)
- ↑ Filozofski fakultet u Splitu Arhivirana inačica izvorne stranice od 23. veljače 2020. (Wayback Machine) Berislav Žarnić: Teorija skupova (pristupljeno 16. srpnja 2020.)