L'universo delle verità matematiche

La totalità di tutte le verità matematiche può essere rappresentata come una serie di insiemi annidati l'uno dentro l'altro. L'insieme più esterno è appunto quello di tutte le verità matematiche; dentro al quale si trovano le verità decidibili; dentro a questo secondo insieme troviamo poi le verità computabili, e infine, dentro al terzo, troviamo l'insieme delle verità praticamente computabili. Per "praticamente computabile" si intende computabili in un arco di tempo non superiore all'età dell'universo.