Il a espéré et il a prié qu'il n'y avait pas une vie après la mort. Alors, il a réalisé qu'il y avait une contradiction d'impliquée ici et a simplement espéré qu'il n'y avait pas une vie après la mort.
Déjà pour une langue formelle aussi retreinte qu'est l'arithmétique, sa non-contradiction ne pourra être démontrée que par un appel à des moyens qui lui soient étrangers.
On n'en finirait pas de dresser la liste des illusions et des absurdités qui sont tenues pour vraies par les hommes les plus sensés, chaque fois que l'esprit ne peut venir à bout d'une contradiction qui le tourmente.
Tristesse, j'ai bâti ta maison, et les arbres Mélangent leur jaspure aux taches de tes marbres, Tristesse, j'ai bâti ton palais vert et noir Où l'if du deuil s'allie aux myrtes de l'espoir ;