Un oracolo congettura l'esistenza di un insieme con infiniti punti che
soddisfano una certa proprietà. Un bambino con un cucchiaio dimostra
l'esistenza di un numero finito di punti appartententi a quell'insieme,
ma non di più. Si può dire che il bambino a dimostrato l'esistenza di
quell'insieme?

Ciao,
n.