the natural numbers \(\mathbb{N}\) are typically defined by the Peano axioms
Date: nil
Author: Anton Zakrewski
Created: 2024-10-11 Fr 21:22