1 |
AritmetizacijaOpæeniti oblik Gödelovog numeriranja u kojem se razlièitim simbolima u alfabetu formalnog jezika dodjeljuju razlièite brojèane oznake. Posljedièno, svaka se ispravno sastavljena formula moe ponovo is [..]
|
<< Aritmetika | Asocirana propozicijska formula >> |