В книге С. Клини "Введение в метаматематику" 1957 г. встретилась совершенно диссидентская глава, связанная несомненно с деятельностью переводчика :

"Устранение равенства"