到達不可能数ε_0 までの超限帰納法を認めれば Con(PA) が証明できる。