1 |
Deduktivni aparatAksiomi i pravila zakljuèivanja u nekom formalnom sustavu. Formalni sustavi mogu ne sadravati aksiome ili pravila zakljuèivanja, ali ne mogu ne sadravati ni jedno ni drugo. Vidi aksiomi; pravila zak [..]
|
<< Dedukcije | Definabilnost funkcije >> |