“Estensioni e modifiche successive della teoria russelliana dei tipi, fatta da logici come F.P. Ramsey e A. Tarski, sono un incubo di complicazione e confusione tale che la maggior parte dei matematici fingerà di non sentirvi nemmeno se tentate di portare il discorso su di esse.”

David Foster Wallace