- 780 名前：１３２人目の素数さん [2012/09/16(日) 15:20:10.21 ]
- ∃ｘ(ｘ＝ｘ)は等号付き一階述語論理の論理的公理だけで出てくるよ。
空集合公理は内包性公理だけで出る。
内包性公理の任意論理式にｘ≠ｘを入れるだけ。
逆に等号なし一階述語論理でもZFCによって等号と同等のものが使えるようにもなる。
∀ｘ∀ｙ（∀ｚ（ｚ∊ｘ＜--＞ｚ∊ｙ）-＞ｘ＝ｙ）
∀ｘ∀ｙ（-＞∀ｚ（ｚ∊ｘ＜--＞ｚ∊ｙ））
ｘ≠ｘ-＞∀ｚ（ｚ∊ｘ＜--＞ｚ∊ｘ）
内包性図式により
∃ｙ∀ｘ（ｘ∊ｙ＜--＞ｘ∊ｚ∧ｘ≠ｘ）
∀ｘ（ｘ∊ｙ＜--＞ｘ∊ｚ∧ｘ≠ｘ）
よって
ｘ≠ｘ-＞∀ｚ（ｚ∊ｘ＜--＞ｚ∊ｘ）
ｘ∊ｚ∧ｘ∊ｙ-＞∀ｚ（ｚ∊ｘ＜--＞ｚ∊ｘ）
