發送短信: Symbolic Logic and the real number system : an introduction to the foundations of number systems