「極大（無矛盾）セオリー」で極大セオリーを紹介したが、極大セオリーTの性質「f∈T か ¬f∈T のどちらか一方が必ず成り立つ」は、完全性と呼ぶことがある。ところが、“完全”という言葉は似て非なる意味で使われていて非常によろしくない（邪悪なオーバーロー…