Math Blog 1: What is a real number, anyway?
The following text introduces a way of defining the real numbers as the set of models of a natural propositional system. The idea is that this system is a logical formulation of the intuition we have when measuring distances with a ruler. It is intended for students of Mathematics and/or Mathematics-adjacent fields (as well as people that teach real analysis).