Prologの意味論で、閉世界仮説とかいうのがあったけど、アリャいったい何だったんだろう。いまだにわからん、つうか、一度も考えた事ないからわからんで当たり前だが。「Aの証明が失敗する」と「Aが証明できない」と「¬Aが真]を同一視するような話だったと思…

The comprehension principle 「包括原理」 The axiom of comprehension (CA) 「包括の公理」かな specification とか separation とも呼ばれる。 The axiom of separation は「分出公理」。 The axiom of specification 訳？ restricted, relative, bounded…