A Mathematical Prelude to the Philosophy of Mathematics