（01）
（ⅰ）
１ （１） ∀ｘ（象ｘ→ 動物ｘ） Ａ
２ （２） ∃ｘ（象ｘ＆～動物ｘ） Ａ
１ （３） 象ａ→ 動物ａ １ＵＥ
４（４） 象ａ＆～動物ａ Ａ
４（５） 象ａ ４＆Ｅ
４（６） ～動物ａ ４＆Ｅ
１ ４（７） 動物ａ ３５ＭＰＰ
１ ４（８） ～動物ａ＆動物ａ ６７＆Ｉ
１２ （９） ～動物ａ＆動物ａ ２４８ＥＥ
１ （ア）～∃ｘ（象ｘ＆～動物ｘ） ２９ＲＡＡ
（ⅱ）
１ （１）～∃ｘ（象ｘ＆～動物ｘ） Ａ
１ （２）∀ｘ～（象ｘ＆～動物ｘ） １量化子の関係
１ （３） ～（象ａ＆～動物ａ） １ＵＥ
１ （４） ～象ａ∨ 動物ａ ３ド・モルガンの法則
１ （５） 象ａ→ 動物ａ ４含意の定義
１ （６） ∀ｘ（象ｘ→ 動物ｘ） ５ＵＩ
（ⅲ）
１ （１）～∀ｘ（象ｘ→ 動物ｘ） Ａ
１ （２）∃ｘ～（象ｘ→ 動物ｘ） １量化子の関係
３ （３） ～（象ａ→ 動物ａ） Ａ
３ （４） ～（～象ａ∨ 動物ａ） ３含意の定義
３ （５） 象ａ＆～動物ａ ４ド・モルガンの法則
３ （６） ∃ｘ（象ｘ＆～動物ｘ） ５ＥＩ
１ （７） ∃ｘ（象ｘ＆～動物ｘ） １３６ＥＥ
（ⅳ）
１ （１） ∃ｘ（象ｘ＆～動物ｘ） Ａ
２ （２） 象ａ＆～動物ａ Ａ
２ （３） ～（～象ａ∨ 動物ａ） ２ド・モルガンの法則
２ （４） ～（象ａ→ 動物ａ） ３含意の定義
２ （５）∃ｘ～（象ｘ→ 動物ｘ） ４ＥＩ
１ （６）∃ｘ～（象ｘ→ 動物ｘ） １２５ＥＥ
１ （７）～∀ｘ（象ｘ→ 動物ｘ） ６量化子の関係
従って、
（01）により、
（02）
① ∀ｘ（象ｘ→ 動物ｘ）≡すべてのｘについて（ｘが象であるならば、ｘは動物である）。
② ～∃ｘ（象ｘ＆～動物ｘ）≡（象であって、動物でないｘ）は存在しない。
③ ～∀ｘ（象ｘ→ 動物ｘ）≡すべてのｘについて（ｘが象であるならば、ｘは動物である）といふことない。
④ ∃ｘ（象ｘ＆～動物ｘ）≡（象であって、動物でないｘ）は存在する。
に於いて、
①＝② であって、
③＝④ である。
従って、
（02）により、
（03）
① ∀ｘ（象ｘ→ 動物ｘ）
② ～∃ｘ（象ｘ＆～動物ｘ）
③ ～∀ｘ（象ｘ→ 動物ｘ）
④ ∃ｘ（象ｘ＆～動物ｘ）
⑤ ～～∀ｘ（象ｘ→ 動物ｘ）
⑥ ～∃ｘ（象ｘ＆～動物ｘ）
に於いて、
①＝②＝⑤＝⑥ である。
従って、
（03）により、
（04）
① ∀ｘ（象ｘ→ 動物ｘ）
を、「否定」し、もう一度、「否定」すれば、「二重否定」により、
② ～∃ｘ（象ｘ＆～動物ｘ）
を、得る。
然るに、
（05）
（ⅰ）
１ （１）～∀ｘ｛太陽系ｘ→∃ｙ［地球ｙ＆第三惑星ｙｘ＆～∃ｚ（ｚ≠ｙ＆第三惑星ｚｘ）］｝ Ａ
１ （２）∃ｘ～｛太陽系ｘ→∃ｙ［地球ｙ＆第三惑星ｙｘ＆～∃ｚ（ｚ≠ｙ＆第三惑星ｚｘ）］｝ １量化子の関係
３（３） ～｛太陽系ａ→∃ｙ［地球ｙ＆第三惑星ｙａ＆～∃ｚ（ｚ≠ｙ＆第三惑星ｚａ）］｝ Ａ
３（４） ～｛～太陽系ａ∨∃ｙ［地球ｙ＆第三惑星ｙａ＆～∃ｚ（ｚ≠ｙ＆第三惑星ｚａ）］｝ ３含意の定義
３（５） 太陽系ａ＆～∃ｙ［地球ｙ＆第三惑星ｙａ＆～∃ｚ（ｚ≠ｙ＆第三惑星ｚａ）］ ４ド・モルガンの法則
３（６） 太陽系ａ ５＆Ｅ
３（７） ～∃ｙ［地球ｙ＆第三惑星ｙａ＆～∃ｚ（ｚ≠ｙ＆第三惑星ｚａ）］ ５＆Ｅ
３（８） ∀ｙ～［地球ｙ＆第三惑星ｙａ＆～∃ｚ（ｚ≠ｙ＆第三惑星ｚａ）］ ７量化子の関係
３（９） ～［地球ｂ＆第三惑星ｂａ＆～∃ｚ（ｚ≠ｂ＆第三惑星ｚａ）］ ８ＵＥ
３（ア） ～（地球ｂ＆第三惑星ｂａ）∨∃ｚ（ｚ≠ｂ＆第三惑星ｚａ） ９ド・モルガンの法則
３（イ） （地球ｂ＆第三惑星ｂａ）→∃ｚ（ｚ≠ｂ＆第三惑星ｚａ） ア含意の定義
３（ウ） ∃ｙ［（地球ｙ＆第三惑星ｙａ）→∃ｚ（ｚ≠ｙ＆第三惑星ｚａ）］ イＥＩ
３（エ） 太陽系ａ＆∃ｙ［（地球ｙ＆第三惑星ｙａ）→∃ｚ（ｚ≠ｙ＆第三惑星ｚａ）］ ６ウ＆Ｉ
３（オ）∃ｘ｛太陽系ｘ＆∃ｙ［（地球ｙ＆第三惑星ｙｘ）→∃ｚ（ｚ≠ｙ＆第三惑星ｚｘ）］｝ エＥＩ
１ （カ）∃ｘ｛太陽系ｘ＆∃ｙ［（地球ｙ＆第三惑星ｙｘ）→∃ｚ（ｚ≠ｙ＆第三惑星ｚｘ）］｝ １３オＥＥ
（ⅱ）
１ （１）∃ｘ｛太陽系ｘ＆∃ｙ［（地球ｙ＆第三惑星ｙｘ）→∃ｚ（ｚ≠ｙ＆第三惑星ｚｘ）］｝ Ａ
２（２） 太陽系ａ＆∃ｙ［（地球ｙ＆第三惑星ｙａ）→∃ｚ（ｚ≠ｙ＆第三惑星ｚａ）］ Ａ
２（３） 太陽系ａ ２＆Ｅ
２（４） ∃ｙ［（地球ｙ＆第三惑星ｙａ）→∃ｚ（ｚ≠ｙ＆第三惑星ｚａ）］ ２＆Ｅ
２（５） （地球ｂ＆第三惑星ｂａ）→∃ｚ（ｚ≠ｂ＆第三惑星ｚａ） Ａ
２（６） ～（地球ｂ＆第三惑星ｂａ）∨∃ｚ（ｚ≠ｂ＆第三惑星ｚａ） ５含意の定義
２（７） ～［地球ｂ＆第三惑星ｂａ＆～∃ｚ（ｚ≠ｂ＆第三惑星ｚａ）］ ６ド・モルガンの法則
２（８） ∀ｙ～［地球ｙ＆第三惑星ｙａ＆～∃ｚ（ｚ≠ｙ＆第三惑星ｚａ）］ ７ＵＩ
２（９） ～∃ｙ［地球ｙ＆第三惑星ｙａ＆～∃ｚ（ｚ≠ｙ＆第三惑星ｚａ）］ ８量化子の関係
２（ア） 太陽系ａ＆～∃ｙ［地球ｙ＆第三惑星ｙａ＆～∃ｚ（ｚ≠ｙ＆第三惑星ｚａ）］ ３９＆I
２（イ） ～｛～太陽系ａ∨∃ｙ［地球ｙ＆第三惑星ｙａ＆～∃ｚ（ｚ≠ｙ＆第三惑星ｚａ）］｝ アド・モルガンの法則
２（ウ） ～｛太陽系ａ→∃ｙ［地球ｙ＆第三惑星ｙａ＆～∃ｚ（ｚ≠ｙ＆第三惑星ｚａ）］｝ イ含意の定義
２（エ）∃ｘ～｛太陽系ｘ→∃ｙ［地球ｙ＆第三惑星ｙｘ＆～∃ｚ（ｚ≠ｙ＆第三惑星ｚｘ）］｝ １ＥＩ
１ （オ）∃ｘ～｛太陽系ｘ→∃ｙ［地球ｙ＆第三惑星ｙｘ＆～∃ｚ（ｚ≠ｙ＆第三惑星ｚｘ）］｝ １２エＥＥ
１ （カ）～∀ｘ｛太陽系ｘ→∃ｙ［地球ｙ＆第三惑星ｙｘ＆～∃ｚ（ｚ≠ｙ＆第三惑星ｚｘ）］｝ オ量化子の関係
従って、
（05）により、
（06）
① ～∀ｘ｛太陽系ｘ→∃ｙ［地球ｙ＆第三惑星ｙｘ＆ ～∃ｚ（ｚ≠ｙ＆第三惑星ｚｘ）］｝
② ∃ｘ｛太陽系ｘ＆∃ｙ［（地球ｙ＆第三惑星ｙｘ）→∃ｚ（ｚ≠ｙ＆第三惑星ｚｘ）］｝
に於いて、
①＝② である。
従って、
（04）（05）（06）により、
（07）
① ∀ｘ｛太陽系ｘ→∃ｙ［ 地球ｙ＆第三惑星ｙｘ＆～∃ｚ（ｚ≠ｙ＆第三惑星ｚｘ）］｝
② ～∃ｘ｛太陽系ｘ＆∃ｙ［（地球ｙ＆第三惑星ｙｘ）→∃ｚ（ｚ≠ｙ＆第三惑星ｚｘ）］｝
に於いて、
①＝② である。
従って、
（07）により、
（08）
① すべてのｘについて｛ｘが太陽系であるならば、あるｙが［地球であって、ｘの第三惑星であって、あるｚが（ｙ以外であって、ｘの第三惑星である）］といふことはない｝。
② ｛ｘが太陽系であるとして、あるｙが［（地球であって、ｘの第三惑星であるならば、あるｚが（ｙではなくて、ｘの第三惑星である）といふ］｝そのやうなｘは存在しない。
に於いて、
①＝② であって、このことは、
① 太陽系の第三惑星は、地球であって、地球以外に、太陽系の第三惑星は、存在しない。
② 太陽系の第三惑星は、地球であって、地球以外に、太陽系の第三惑星は、存在しない。
といふことに、他ならない。
然るに、
（09）
① 太陽系の第三惑星は、地球であって、地球以外に、太陽系の第三惑星は、存在しない。
② 太陽系の第三惑星は、地球であって、地球以外に、太陽系の第三惑星は、存在しない。
といふことは、
① The third planet of the solar system is the earth.
② The third planet of the solar system ＝ the earth.
といふことに、他ならない。
然るに、
（10）
① The third planet of the solar system is the earth.
② The third planet of the solar system ＝ the earth.
といふことは、
① The earth is the third planet of the solar system.
② The earth ＝ the third planet of the solar system.
といふことである。
然るに、
（11）
同一性の「ｉｓ（である）」識別するための助けとなることがらはつぎの通りである。
（ａ）「ｉｓ（である）」の両側にならぶ語句は、近似値的に同じ意味をたもちつつ入れ換えることができるか ― もしできるならば、その「ｉｓ（である）」は同一性の「である（'is' of identity）」である。
（ｂ）「ｉｓ（である）」を「と同じ対象である（is the same object as）」によって置き換えることができるか ― もしできるならば、その「 ｉｓ（である）」は同一性の「ｉｓ（である）」である。
（E.J.レモン 著、武生治一郎・浅野楢英 訳、論理学初歩、1973年、２０５頁改）
従って、
（10）（11）により、
（12）
① The third planet of the solar system is the earth.
② The third planet of the solar system ＝ the earth.
に於ける、「ｉｓ」は、「同一性の"ｉｓ"」である。
従って、
（12）により、
（13）
① Speaking of the solar system,the earth is the third planet.
② Speaking of the solar system,the earth ＝ the third planet.
に於ける、「ｉｓ」は、「同一性の"ｉｓ"」である。
然るに、
（14）
三上はこれを文型として登録すべきであると、主張しています。
象をＡに、鼻をＢに、長いをＣに変え、文型の公式として、
Ａは、ＢがＣだ。
を作っておきます。すると、この公式に当てはまる文は、たいてい機械的にパラフレーズできます。
二辺の平方の和が第三辺の平方の和に等しい三角形は、第三辺に対する角が直角である。
（山崎紀美子、日本語基礎講座―三上文法入門、2003年、２１５頁）
従って、
（14）により、
（15）
① Speaking of the solar system,the earth is the third planet.
② Speaking of the solar system,the earth ＝ the third planet.
に対応する「日本語」は、
① 太陽系は、地球が第三惑星である。
であって、
① 太陽系は、地球は第三惑星である。
ではない。
従って、
（07）～（15）により、
（16）
① 太陽系は、地球が第三惑星である。⇔
① Speaking of the solar system,the earth is the third planet.⇔
① ∀ｘ｛太陽系ｘ→∃ｙ［地球ｙ＆第三惑星ｙｘ＆～∃ｚ（ｚ≠ｙ＆第三惑星ｚｘ）］｝⇔
① すべてのｘについて｛ｘが太陽系であるならば、あるｙが［地球であって、ｘの第三惑星であって、あるｚが（ｙ以外であって、ｘの第三惑星である）］といふことはない｝。
といふ「等式」が、成立する。
従って、
（16）により、
（17）
① 太陽系は、⇔
① Speaking of the solar system,⇔
① すべてのｘについて｛ｘが太陽系であるならば、
といふ「等式」が、成立する。
然るに、
（18）
学校文法は単純な英語文法からの輸入で、主語・述語関係を単純に当てはめたものだ。そのため、「象は、鼻が長い」という単純な文でさえ、どれが主語だか指摘できず、複数主語だとか、主語の入れ子だとか、奇矯な技を使う。これに対して三上は、日本語には主語はない、とする。「象は」は、テーマを提示する主題であり、これから象についてのことを述べますよというメンタルスペースのセットアップであり、そのメンタルスペースのスコープを形成する働きをもつと主張する（この場合は「長い」までをスコープとする）。また、「鼻が」は主格の補語にすぎなく、数ある補語と同じ格であるとする。基本文は述語である「長い」だけだ（三上文法！ : wrong, rogue and log）。
従って、
（17）（18）により、
（19）
①「太陽系は、」は、「主題」であり、
①「Speaking of the solar system,」は、「主題」であり、
①「すべてのｘについて｛ｘが太陽系であるならば、」は、「主題」である。
従って、
（20）
② Elephants have long noses.⇔
② Speaking of elephants,they have long noses.⇔
② ∀ｘ｛ELEPHANTSｘ→∃ｙ（NOSESｙｘ＆LONGｘ）｝.
に於ける、
②「Elephants」は、「主題」と言へば「主題」であり、
②「Speaking of elephants,」は「主題」と言へば「主題」であり、
②「∀ｘ｛ELEPHANTSｘ→」 は「主題」と言へば「主題」である。
然るに、
（21）
題と主語は、別の次元にあります。
では、英語では、どうなるのでしょうか。
英語では、日本語の「ｘは」のように、題を（topic）を保証する形式は、特にありません。
（山崎紀美子、日本語基礎講座、2003年、１９頁）
然るに、
（22）
実際、文法学者が「主語」という「語」を使わなければならないことは、不幸なことだ。この語は、普通のことばでは、とりわけ「話題」（主題）という意味でも使われているからである（イェスペルセン著、安藤貞雄 訳、文法の原理（中）、2006年、４５頁）。
従って、
（20）（21）（22）により、
（23）
② Elephants have long noses.⇔
② Speaking of elephants,they have long noses.⇔
② ∀ｘ｛ELEPHANTSｘ→∃ｙ（NOSESｙｘ＆LONGｘ）｝.
に於ける、
②「Elephants」は、「主語」と言へば、「主語」であり、
②「Speaking of elephants,」は「主語」と言へば「主語」であり、
②「∀ｘ｛ELEPHANTSｘ→」 は「主語」と言へば「主語」である。
従って、
（22）（23）により、
（24）
所謂、「 英語 の主語」であったとしても、「主題」と言へば、「主題」であり、「主語」と言へば、「主語」である。
従って、
（25）
所謂、「日本語の主語」であったとしても、「主語」と言へば、「主語」であり、「主題」と言へば、「主題」である。