This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try
refreshing the page, (b) enabling javascript if it is disabled on your browser and,
finally, (c)
loading the
non-javascript version of this page
. We're sorry about the hassle.
(This is sort of an fun intro to proof by contradiction.)
Assume the set of boring integers B exists.
Denote { ∣ n ∣ ∈ N : n ∈ B } (the set of all ∣ n ∣ such that n ∈ B ) by B ∗ and let min B ∗ = b : this property of b being a minimum of B ∗ is certainly non-boring, and so b ∈ B is false. However, this is a contradiction, and so it follows that the set of boring integers B does not exist.