https://i.imgur.com/KPdarxm.jpg

↑は実数論の一命題をデデキントの切断を使って証明しています。

無茶苦茶ややこしくないですか?

Cantor 式のほうがいいですよね?