"All consistent axiomatic formulations of number theory include undecidable propsoitions"
"Они испытывают какие-то чувства, различают цвета, слышат звуки и кружатся. Но что они чувствуют, видят и слышат и почему они кружатся, это их ни капельки не волнует"