Axiom 2.1

Axiom 2.1. \(0\) is a natural number.