Aksiomska shema
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[uredi | uredi kôd]
- ↑ Filozofski fakultet u Splitu Inačica izvorne stranice arhivirana 20. veljače 2020. Peter Suber, Philosophy Department, Earlham CollegeRječnik logike prvog reda. Preveo na hrvatski Berislav Žarnić. (pristupljeno 16. srpnja 2020.)
- ↑ Filozofski fakultet u Splitu Inačica izvorne stranice arhivirana 23. veljače 2020. Berislav Žarnić: Teorija skupova (pristupljeno 16. srpnja 2020.)