>>12
以前も話題になったが完全性定理は弱ケーニッヒの補題で十分。
選択公理は使用しなくても可能なことが逆数学の結果で判明。
不完全性定理の方は不要。
>>14
意味不明、用語の定義を再確認することをすすめる。
>>17
「ある言語の論理式の集合」がAに該当するんだろう。
構造とは領域と述語記号や関数記号の集まりの対だ。
>>22
基礎論を巡る論争みたいな本があったけど、かなりおすすめですね。