超实数存在定理

超实数存在定理断言：设R是实数域，则存在R的有序域扩张*R及∗映射，满足超实数公理A到公理D。超实数存在定理是关于超实数存在的一个定理。