>>156
じゃ「実数の公理」でググって。