論理 | ヘンキン定数のブログ

ヘンキン定数のブログ

ブログの説明を入力します。

世界がすべて論理式で満たされていることの証明

1階論理についての定理の意味
無矛盾
完全
コンパクト
決定不能

1階論理を採用すべきことの証明