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 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.)