20/11/23 12:39:23.83 sMjtMsPP.net
👾星人、
モピロン ∃0.999… ∈ ∀0.999…9 ポィ
∵ 1-0.999… > 1-0.999…9 > 0となる、
1-0.999…9 > 0となる実数0.999…9 は、
アルキメデスにより無限個存在
∴ 1-0.999… > 0
∴ 1 > 0.999… 証明完了😙
アルキメデスも、モピロン使える証明
by 👾
20/11/23 12:39:23.83 sMjtMsPP.net
👾星人、
モピロン ∃0.999… ∈ ∀0.999…9 ポィ
∵ 1-0.999… > 1-0.999…9 > 0となる、
1-0.999…9 > 0となる実数0.999…9 は、
アルキメデスにより無限個存在
∴ 1-0.999… > 0
∴ 1 > 0.999… 証明完了😙
アルキメデスも、モピロン使える証明
by 👾