>>241
>「有限種類の公理のセット」或いは「有限個の規則のセットを」くらいに読み替えて下さい。
>最悪、φが正しいかどうかを万能Turing machineで判定するときの
>動作規則の数と思って読んで下さい
最悪以下まで緩めればもちろん正しいけれど
必ずしも有限の公理図式（スキーム）に収められるとは限らないよね？
（ここで公理図式とは「穴」の空いた論理式を考え
この「穴」に任意の論理式を代入したものは公理とすることとする。）
ZFのように有限の図式にできる場合を例に挙げるのは特殊すぎると思う。