실수

실수(real number)는 실수 집합의 원소를 말한다. 실수 집합은 아래의 세 공리(계)를 만족하는 집합이며, 그 존재성은 유리수 집합이 존재할 때 보일 수 있다.

실수 집합의 정의

실수 집합은 다음의 세 공리를 만족하는 집합으로 정의한다:

• 체 공리
• 순서 공리
• 완비성 공리