完全性、不完全性、正規化、…
形式的理論で何を示すにしろ、「一般の論理式」に言及することなしには済ませられないだろう
その際、帰納法抜きでは代入すら定義できないよ