P (s) とか f (x) について、P や f を今まで 「述語」 とか 「性質」 と云ってきましたが、数学では （「述語」 とか 「性質」 というのを嫌っていて） f (x) のことを 「クラス」 と云います。今後は、f (x) のことを 「クラス」 と云うことにします。クラス は、BG の公理系で使われる概念です。BG の公理系とは、ベルナイス と ゲーデル が整えた公理系です──ふたりの名前の頭文字を それぞれ 使って、BG の公理系と一般に云われています。

　事業分析の モデル 技術として セット と クラス は実地に使う時に論点となるので、ここで先ず セット と クラス を 「数学的」 に整理しておきます （「2.3 ZF の公理系」 を読み返してください）。

　1. セット とは、ZF の公理系で使われ、｛ x ∈ a | f (x) ｝ の分出公理を前提にしている。

　2. クラス とは、BG の公理系で使われ、f (x) のことを云う。

　3. セット で証明できる論理式は クラス で証明でき、クラス で証明できる論理式は セット で証明できる。