1.1 The Real Number System