From 22c55438235dc34b2b4b61b8503023776c380103 Mon Sep 17 00:00:00 2001 From: Miloslav Ciz Date: Wed, 7 Sep 2022 12:58:00 +0200 Subject: [PATCH] Update --- interesting.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/interesting.md b/interesting.md index 45b1672..09da1ad 100644 --- a/interesting.md +++ b/interesting.md @@ -2,6 +2,6 @@ This is a great answer to anything, if someone tells you something you don't understand or something you think is [shit](shit.md) and you don't know what to say, you just say "interesting". -**All numbers are interesting**: there is a [fun](fun.md) [proof](proof.md) by contradiction of this. Suppose there exists a set of uninteresting numbers; then the greatest of these numbers is interesting by being the greatest uninteresting number -- we've arrived at contradiction, therefore a set of uninteresting numbers cannot exist. +**All [natural numbers](natural_number.md) are interesting**: there is a [fun](fun.md) [proof](proof.md) by contradiction of this. Suppose there exists a set of uninteresting numbers which is a subset of natural numbers; then the smallest of these numbers is interesting by being the smallest uninteresting number -- we've arrived at contradiction, therefore a set of uninteresting numbers cannot exist. TODO: just list some interesting shit here \ No newline at end of file