モデルとは、「現実（事実あるいは現実的事態）」を写像した形式的構造である。

　この定義を、もっと正確にいえば、次の 2つの要件を満たした モノ を モデル と云います──

　　（1） 無矛盾な構造 （導出的な真を満たしている妥当な構造）

　　（2） 真とされる値 （事実的な真をみたしている値）

　（1） を L-真と云い、（2） を F-真と云います。数学では、「...の条件を満たす」 ということが 「...の モデル である」 ということなので、事業構造を コンピュータ に実装するための モデル は、これら 2つの条件を満たしていなければならない。

　本書は、数学基礎論の基礎技術を使って モデル 作成技術を説明しています。そして、その モデル 作成技術に対して、アンチ から次のような反論 （？）──というよりも、言い掛かりかな （笑）──が出ることを私は本書の原稿を執筆していて事前に予想していました （笑）──

　　（1） 数学を学校卒業後に学習しなかった人たちからの反論
　　　　　──事業活動は数学では割り切れるものではない。

　　（2） 数学をそうとうに学習しているが経営学・商学を学んでいない人たちからの反論
　　　　　──数学を もっと学習しなさい。

　先ず、（1） については、本書では、事業活動そのものの設計を 一切 目的にしてはいない、本書が目的としているのは 「事業活動を写像した形式的構造」 であって、事業そのものとその モデル を混同しないでください。（2） については、本節で述べた写像 （特に全射） の記述が厳正でないので、そう言いたいのでしょう──私は数学者ではない、私が数学基礎論を学習した理由は、数学基礎論のなかで事業分析・データ 設計に使えそうな技術を流用したかったからであって、数学技術の厳正な定義を本書のような入門書で述べるつもりは毛頭なかった。だから、全射の 「現象的」 帰結だけを述べたのであって、私が全射をどのように数学的に分かっているかという点は、もしお望みであれば、拙著 「論理 データベース 論考」 96ページ・97ページ をご覧いただければ幸いです。そして、これらの記述が本書のような入門書に適しているかどうかを判断してください。入門書では、全射・単射の厳正な定義を綴ることに比べたら、それらの現象的帰結を述べたほうが入門者にはわかりやすいと私は思うのですが。