フォロー
あとでよむ
@yubais.bsky.social(柞刈湯葉（いすかり・ゆば）)
> すべての自然数は面白い
> 証明は背理法による
> 「最小の面白くない数」はそれ自体が面白い性質であるので、矛盾が生じる。
面白い数のパラドックス
https://ja.wikipedia.org/wiki/面白い数のパラドックス
https://bsky.app/profile/yubais.bsky.social/post/3l65n6en6dh2h
面白かった
これ、いろいろ応用効きそう。
「全ての投稿は面白い」とか。
「最古の面白くない投稿」はそれ自体が面白い性質であるので矛盾が生じる。