Consistency

Presburger arithmetic is an axiom system for the natural numbers under addition. It is both consistent and complete.