Aksiomska shema: razlika između inačica
Izbrisani sadržaj Dodani sadržaj
Stvorena nova stranica sa sadržajem: »'''Aksiomska shema''', vrsta sheme. To je formula koja sadrži varijable metajezika i postaje aksiomom kada joj se v...«. |
Broj spašenih izvora: 2; broj poveznica koje su označene kao mrtve: 0) #IABot (v2.0.8 |
||
Redak 1:
'''Aksiomska shema''', vrsta [[shema|sheme]]. To je [[formula]] koja sadrži [[varijabla|varijable]] [[metajezik]]a i postaje [[aksiom]]om kada joj se varijable instanciraju s ispravno sastavljenim formulama u [[formalni jezik|formalnom jeziku]].<ref>[http://marul.ffst.hr/~logika/pilot/glosarij.htm Filozofski fakultet u Splitu] {{Webarchive|url=https://web.archive.org/web/20200220015715/http://marul.ffst.hr/~logika/pilot/glosarij.htm |date=20. veljače 2020. }} Peter Suber, Philosophy Department, Earlham College''Rječnik logike prvog reda''. Preveo na hrvatski Berislav Žarnić. (pristupljeno 16. srpnja 2020.)</ref>
Da bismo izbjegli da dospijemo u govorenje o svim [[svojstvo|svojstvima]], aksiom iskazujemo kao aksiomsku shemu. U protivnom nas to vodi izvan granica [[logika prvoga reda|logike prvoga reda]] i što zahtijeva [[teorija svojstava|teoriju svojstava]]. Sve rečenice koje imaju oblik aksiomske sheme su [[aksiom]]i. Ima ih beskonačno mnogo.<ref name=Žarnić>[http://marul.ffst.hr/~logika/pilot/predavanja/TeorijaSkupova.htm Filozofski fakultet u Splitu] {{Webarchive|url=https://web.archive.org/web/20200223222306/http://marul.ffst.hr/~logika/pilot/predavanja/TeorijaSkupova.htm |date=23. veljače 2020. }} Berislav Žarnić: ''Teorija skupova'' (pristupljeno 16. srpnja 2020.)</ref>
== Izvori ==
| |||