Gulliver's Travels is boring and laborious, but TAOCP, William James, GEB, and axiomatised the natural numbers before Peano, made the distinction of cardinal an

Gulliver's Travels is boring and laborious, but TAOCP, William James, GEB, and axiomatised the natural numbers before Peano, made the distinction of cardinal and ordinal before Cantor ?