The axioms of Q were chosen specifically to ensure they are strong enough for this purpose.
Qの公理はこの目的に十分な強さとなるように選ばれている。