概念を使う傾向があるそうです。概念を使っているので。その集合に入っているかどうか識別できる。取りだすと、それらが等しいか等しくないかを識別できる。9つの公理から構成されています。概念ではないことに注意して下さい。ある点にも注意して下さい。するのであれば、以下のように構成します。成立するならば、すべての自然数において成立する、ということです。性定理を使うのかもしれない。云いますが--存在する、という公理です。