0057132人目の素数さん垢版 | 大砲2019/11/27(水) 04:10:59.70ID:IBWgOXjg >>49あらゆるものが定義されてる閉じた理論を作ろうとするとそのような循環的定義を使うしかない。 数学の命題の真偽は外からの観測によって確定するが 外からの観測ということも含めて閉じた論理を作るなら 「Aという命題の真偽を観測して真偽を確定する」ということも命題として真偽の対象とするしかなくなる