13/08/19 NY:AN:NY.AN
Basicは
∀x￢( suc(x) = zero )
∀x∀y(( suc(x) = suc(y) ) → ( x = y ))
∀x( x + zero = x )
∀x∀y( x + suc(y) = suc(x + y) )
∀x(x × zero = zero )
∀x∀y (x × suc(y) = (x × y) + x )
∀x￢( x < zero )
∀x∀y(( x < suc(y) ) ⇔ (( x < y ) ∨ ( x = y )))
∀x∀y((( x < y ) ∨ ( x = y )) ∨ ( y < x ))
上の9つの論理式からなる集合で、suc(x)= x + 1と解釈します。
標準モデルとはBasicの標準ストラクチャーと同義のようです。
また、計算可能という言葉については
「自然数全体の集合Nの部分集合Sが計算可能であるとはSに属するか否かを判定するアルゴリズムが存在することである。」
と習っています。
他に不十分な説明がありましたら教えてください…