上記の定理の主張は「どのような形式的理論体系も可算モデルをもつ」のだそうな。 すなわち、勝手な解釈させてもらえば、どのような論理的装いをこらした論説も 本来の意図とは別様な解釈が可能となる。といっているようなものだ。そもそもはヒルベルトの公…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。