Misha, okroj pozhalusta novuju, otdelnuju temu pro eto. Ja chto-nibud' esche umnoe skazhu.

Pro eti sistemy - pochti vse logicheskie knizhki v mire. V Kleene oni vypisany v jazyke p[ervogo porjadka
i nazyvajutsya

RCA_0 --- primitivno rekursivnaja arifmetika

ACA_o --- arifmetika Peano

ACA^'_0 --- arifmetika Peano rasshirennaja mnogochislennymi dobavlenijami principa refleksii (rovno epsilon_{epsilon_0} raz.

(Reply to this) (Parent)