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