Text this: Symbolic Logic and the Real Number System