論理

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

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

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