数学の専門家ではない人たちのなかで、「論理」 に 或る程度 興味をもっている人、あるいは仕事で 或る程度 数学基礎論の技術を使う人でも、せいぜい 「数学基礎論」 の基礎技術を使うのが精一杯でしょう [ 少なくとも、私は そうです ]。「数学基礎論」 の基礎技術とは どの程度の技術を指しているのかと云えば、拙著 「論理 データベース 論考」 のなかで記述した技術だと思っていいでしょう [ 実際、私は それらの技術をもとにして （事業分析・データ 設計のための） モデル 技術 TM を作りました ]。それらの技術よりも高度な技術となると、数学を専門にする人たち向けでしょうね。数学の技術を使わなければならないけれど数学の専門家ではないシステム・エンジニアとして居直って シロート 感覚を丸出しにして執筆したのが 「論理 データベース 論考」 です。そこに記述されている それぞれの技術のあいだの関係 [ 聯関 ] を説き明かしたのが本書 「いざない」 です。それらの関係 [ 聯関 ] を説き明かすために、ときには、「哲学」 を援用しています──実際、「数学基礎論」 が形成される途上では、「哲学」 が少なからず関与しています （たとえば、ウィトゲンシュタイン の 「数学の哲学」 がそうでしょう）。

　本節は、モデル 技術に対して直接に関与する訳ではないし、「論理」 を訓練するためのものでもないです──「論理」（アリストテレス 以後 19世紀まで継承されていた論理学） が集合論に翻訳できることさえ わかっていただければいい。そして、アリストテレスの 「論理」 では （三段論法の） 「小項」 は 「主語が空集合ではない」 という前提で推論形式が 「真」 であることを考えていましたが、現代の集合論では 「小項」 の集合には空集合もふくまれることを注意していてください [ 空集合は すべての集合の部分集合である、ということ （後述、「8.1 空集合」 で説明します） ]──この点は、リレーショナル・データベース の アクセス 法として セット・アット・ア・タイム 法を実現した コッド 正規形の 1つの大きな論点 [ null の問題点 ] となったのです。

　
[ 追記 ]

　「いざない」 を執筆したあとで、「論理」 についての私の考えかたが変わってきました。私が その後に影響をうけた書物を示しておきます──

　　　　「論理──数理論理学はなぜわかりにくいのか」 （本橋信義、講談社）