Counting 0 to 10 - Open Mathematics Foundation