>>55
等号公理の述べ方もいろいろあるけど、一番シンプルなパターンで
与えられているなら φ(x) の構成に関する帰納法で証明する必要がある。