>>487
物理的な観測値で
　いつでも、デデキント切断で値が求められる
保証があるわけだよね？
整数的な概念で示される有理数では、それはあり得ないな。