Axiomatizing Q by "G_Q + ε"