- 468 名前：１３２人目の素数さん [2005/05/28(土) 14:13:09 ]
- εｘA(x)は、選択順位の情報も暗に含んでいると思ったら？
Hilbertの有限数学では、ｘは最小の自然数にとればいいし。実際そのよう。
∀x(A(x)⇔B(x))をみたすｘが存在しない場合でも、εxA(x)=εxB(x)=0で成り立つ。
εｘA(x)は、A(x)をみたすｘであることに加えて
・存在、非存在の情報
・デフォルト選択順位の情報
を含んだ実体で、
論理学のnandや、ライプニッツモナドのような複合的存在なのだと思う。
