Otázka platonismu by sem měla patřit, v té souvislosti jsem nedávno narazil na takový myšlenkový experiment.
Hypotéza kontinua je nerozhodnutelná ze ZFC (Zermelova-Fraenkelova teorie množin s axiomem výběru), ale
Chris Freiling z nějaké zvláštní pozice platonismu zastává názor, že přesto musí být buď pravdivá, nebo nepravdivá. "Dokazuje", že je nepravdivá.
Dá se celkem lehce dokázat, že když pro každou funkci f z reálných čísel do spočetných podmnožin reálných čísel existují body x,y, že x neleží v f(y) a y neleží v f(x), tak neplatí hypotéza kontinua.
Mějme libovolnou f z R do spočetných podmnožin R. Hodíme šipkou na reálnou osu a určíme tím bod x a spočetnou podmnožinu f(x). Ta má Lebesgueovu míru nula (za předpokladu, že je měřitelná), tedy pravděpodobnost, že jiným hodem šipkou s cílem y se strefíme do f(x) je nula. Symetricky to platí i pro x v f(y). Takže neplatí hypotéza kontinua. Více viz heslo Freiling na wikipedii.