”不存在最小的实数"的符号化形式