实数公理是定义实数的一种途径。按照它，所谓实数系就是定义了两种二元运算（加法与乘法）和一种次序关係（>）的集合，并且这些运算和次序满足规定的公理，由这些公理可以推出实数的一切性质。

实数公理的具体内容如下：

设R是一个集合，若它满足下列三组公理，则称为实数系，它的元素称为实数：

对任意 a，b∈R ，有 R 中惟一的元素 a+b 与惟一的元素 a·b 分别与之对应，依次称为 a ， b 的和与积，满足：

1.（交换律） 对任意 a，b∈R ，有a+b=b+a，a·b=b·a 。

2.（结合律） 对任意 a，b，c∈R ，有a+(b+c)=(a+b)+c，a·(b·c)=(a·b)·c 。

3.（分配律） 对任意a，b，c∈R，有(a+b)·c=a·c+b·c 。

4.（单位元） 存在R中两个不同的元素，记为0,1分别称为加法单位元与乘法单位元，使对所有的a∈R，有a+0=a，a·1=a 。

5.（逆元） 对每个 a∈R ，存在 R 中惟一的元素，记为 -a ，称为加法逆元；对每个 a∈R\{0} ，存在 R 中惟一的元素，记为 a^-1 ，称为乘法逆元，使a+(-a)=0，a·a^-1=1 。

(a)在任意两个元素 a，b∈R 之间存在一种关係，记为“>”，使对任意 a，b，c∈R ，满足：

1.（三歧性）a>b,b>a,a=b 三种关係中必有一个且仅有一个成立。

2.（传递性） 若 a>b 且 b>c 则 a>c 。

3.（与运算的相容性） 若 a>b，则 a+c>b+c；若 a>b，c>0 则 ac>bc 。

(b)在任意两个元素 a，b∈R 之间存在一种关係，记为“ ”，使对任意 a，b，c∈R ，满足：

1.（反对称性） 若 a b 且 b a 那幺 a=b 。

2.（传递性） 若 a b 且 b c 则 a c 。

3.（与运算的相容性）若 a b，则 a+c b+c ；若 a 0 且 b 0，则 ab 0 。

注：对于序公理a，b这两种描述是等价的。因为我们可以通过其中一个符号及其性质来定义另一个符号。

(III)(1) 阿基米德公理（也称阿基米德性质，它并不是严格意义上的公理，可以由连续性公理证明。在欧几里得的几何书中，它仅被描述为一个命题）。

阿基米德公理：对任意a，b∈R，a>0 存在正整数 n ，使 na>b 。

R中的任何基本列都在R中收敛。

称满足公理组I的集为域；满足公理组I与II的集为有序域；满足公理组I，II与(III)(1)的集为阿基米德有序域；满足公理组I～III的集为完备阿基米德有序域或完备有序域。这样，实数系就是完备阿基米德有序域。所有有理数的集合Q就是阿基米德有序域，但它不满足完备性公理。根据域公理，可以定义实数的减法和除法，并证明四则运算的所有性质。序公理的1与2表明关係“>”是R的全序。

用域公理和序公理可以定义正数、负数、不等式、绝对值，并证明它们具有通常的运算性质。加上阿基米德公理与完备性公理，可以证明实数的其他性质以及幂、方根、对数等的存在性。实数公理有多种不同的提法，常见的另一种提法是把公理组III换成

若 A，B 是 R 的非空子集且 A∪B=R ，又对任意的 x∈A 及任意的 y∈B 恆有 x<y ，则 A 有最大元或 B 有最小元，即存在 c∈R，使 x<c<y 。

这里把戴德金定理用作连续性公理。另一个常用作连续性公理的确界原理。公理组I～III与公理组I+II+(III)’是等价的，（注意不是III<=>(III)’）。完备性公理可以换成闭区间套定理的形式。类似地，单调收敛定理，聚点原理等也可用作连续性公理。公理组II也有其他提法。用公理定义了实数系R后，可以继续定义 R 的特殊元素正整数、整数等。例如，由数1生成的子加群Z={0,±1,±2,…} 的元素称为整数；由数 1 生成的子域Q={p/q|p,q∈Z,q≠0} 的元素称为有理数。

实数公理时在集合发胀的基础上，有希尔伯特 (Hilbert,D.) 于 1899 年首次提出的。后来，他提出的公理系统在相容性与独立性方面得到进一步改进，逐步演变为前面所说的公理系统。