わかったぞぉ 数学の構造は命題論理と述語論理の塊であって、述語論理に重きを置いている。 しかし、対象を数学そのものにするとメタ数学になってしまう。(公理型のように) それでは哲学になってしまって、対象が数学的な対象ではなくなってしまう。 真偽…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。