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]
Izvori
- ↑ Filozofski fakultet u Splitu Peter Suber, Philosophy Department, Earlham CollegeRječnik logike prvog reda. Preveo na hrvatski Berislav Žarnić. (pristupljeno 16. srpnja 2020.)
- ↑ Filozofski fakultet u Splitu Berislav Žarnić: Teorija skupova (pristupljeno 16. srpnja 2020.)