参考下面的段落,然后以相同的语言回答后面的问题:  过渡:一些方法明确地定义实数是建立在理数基础上的某些结构,使用公理集合理论. 自然数 <unk> 0,1,2,3,等等 <unk> 开始于0并继续向上,因此每个数都有一个继承者. 一个人可以将自然数及其负数扩展到所有整数,并进一步扩展到比数,给出理数. 这些数字系统的伴随是加法,减法,乘法和除法的算术. 更微妙地说,它们包括排序,这样一个数字可以与另一个数字相比较,并发现它小于,大于或等于另一个数字.  问题:他们用什么理论来定义实数?
公理集合论