直観主義論理がハイティング算術をモデルとして持つ、だと？
こいつ「論理」とか「モデル」とかが何物であるかまるっきり分かってないだろｗ
受け売りの情報を自分で消化しないまま吐き出すとこうなるのかね。