實閉體
real closed field
実閉体 - Wikipedia
實代數的數體
計算可能數體
計算可能数 - Wikipedia
計算可能解析学 - Wikipedia
定義可能實數體
實數
體
$ \R
超實數 (hyperreal number)
體
$ ^*\R
準超實數 (super-real number)
體