決定可能なら有限の公理で済むのはそういう相場だから理由なんぞ必要ない、だとさww