qの公理はこの目的に十分な強さとなるように選ばれている。