一階述語論理と集合論は循環している？お久しぶりです。このブログ、一年近く放ってありましたが、久々の恒真…もとい更新です。今日は、先日見つけた論理学ネタについて。 一階述語論理と集合論は循環していませんか？ 一階述語論理の意味論には集合概念が使われていて集合論の公理は述語論理で記述されているように感じるのですが、これは卵が先か鶏が先かの構造になっていないのでしょうか。 http://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q13108980443 この問題は、質問者自身が言っているようにもちろん擬似問題ではあり、循環はしていないのですが、いい点に気が付いたな、と思います。これは、実は昔から論理学を学ぶ良くできる学生は必ず一度は悩むと言われている問題なのです（ちなみに僕は良くできる学生ではなかったので、自分では気がつきませんでした）。 この質問は、形式的な論理学に関し多く
