数学 - てらだ( @u_1roh )さんのツイートより - 無限にあるのではなく一つもない（？）- 時間、連続性、稠密性、背理法

学習環境

∀t∈平成∃τ(t<τ<令和) より「平成最後の」は無限にある（？）
— てらだ (@u_1roh) 2019年4月30日

無限にあるのではなく、1つもないのではないのかなぁと思ったので。

「平成最後」が存在すると仮定し、それを t とする。

また、「令和」の最初を s とする。

このとき、

t < u < s

を満たす u が存在する。

u < s

なので、 u は明らかに「平成」である。

また、

t < u

より、 u は t より後の「平成」である。

これは、 t が「平成最後」という仮定と矛盾。

よって、「平成最後」は存在しない。

（証明終）

Kamimura's blog