實閉體
real closed field
実閉体 - Wikipedia
一階述語論理 (FOL)
の言語で書ける文の眞僞が
實數
體と同じ
體
實閉體
の理論は
構文論的完全性 (expressive completeness)
實
代數的數
體
計算可能實數
體
計算可能数 - Wikipedia
定義可能実数 - Wikipedia#計算可能実数
計算可能解析学 - Wikipedia
定義可能實數
體
定義可能実数 - Wikipedia
實數
體
$ \R
超實數 (hyperreal)
體
$ ^*\R
準超實數 (super-real)
體
實係數 Puiseux 級數體
Puiseux series - Wikipedia