@mhoye the pedant in me compells me to return and point out I had misremembered this. Q is also incomplete. But it's weaker than Peano. So you would need even weaker axiomeralls to avoid Gödel.