導入しなければ、形式的構造を作ることができない。ER手法は、命題論理を使って個体を認知して、或る関係文法を使って形式的構成を作る手法である。保証していなければならない。いうような不意打ちがないことをいう。現実的事態と一致していることをいう。備えていなければならない。境界線が論点になってきたが、境界線は明晰に提示されなかった。ことを証明した理論書である。して、数学基礎論の全般的な知識を用意してある。読めば、数学基礎論の入門程度の知識は得られるようにしてある。論点になり始めた昨今、問題点の原点を把握するために読んでいただければ幸いです。