然るに、（01）（ⅰ）１ （１） ∃ｘ｛Ｆｘ＆∀ｙ（Ｆｙ→ｘ＝ｙ）｝ Ａ ２（２） Ｆａ＆∀ｙ（Ｆｙ→ａ＝ｙ） Ａ ２（３） Ｆａ ２＆Ｅ ２（４） ∀ｙ（Ｆｙ→ａ＝ｙ） ２＆Ｅ ２（５） Ｆｂ→ａ＝ｂ ４ＵＥ ２（６） ～Ｆｂ∨ａ＝ｂ ５含意の定義 ２（７） ａ＝ｂ＆…

（01） （21）イリアスの著者はオデュッセイアを書いた。故にある人はイリアスとオデュッセイアの両方を書いた。 （21）The author of the Iliad wrote the odyssey; therefore someone wrote both Iliad and the odyssey. ― 中略 ―、 （22）∃ｙ［Iｙ＆Ｏｙ…