qは本質的にはpaから帰納法の公理図式を取り除いたものである。