Cobhamの定理
Cobhamの定理
;
Cobham
に依る?
Tarski-Mostowski-Robinson算術
$ \sf R
は
本質的遺伝的決定不能
である．
すなわち
$ \mathsf{R} + U
が無矛盾となる任意の理論
$ U
は決定不可能である．