実数体の順序極小拡張に関する未解決問題について | Synapse