Introduction to the National Arithmetic, on the Inductive System nidottuEnglanti, 2023