are inductive proofs really complete if they only hold for integers?

Printable View