"Famously, Hilbert spoke of the variety of possible interpretations of the basic notions by saying that one could replace points, lines and planes with tables, chairs and beer mugs, respectively, with corresponding relations between them. Hilbert’s view was that mathematical concepts are implicitly defined in structural terms by axiomatic systems, of which all one needs to know is that they are consistent and complete."

Свободный человек свободен в выборе слов,
несвободному человеку не поможет никакой выбор.