「ｘとはｘに限りなく近い数である」と定義してしまえばその問題は回避できると思われるが。