Книга известного математика В. А. Успенского ‘Апология математики‘ представляет собой сборник статей, в которых автор хочет показать ‘образованным дилетантам’ место математики: ‘все они [статьи] в той или иной степени относятся (или хотя бы примыкают) к не имеющей чётких границ области знания, которую одни именуют философией математики, другие – основаниями математики, третьи – ещё как-нибудь.’ Книга прекрасно написана. Ниже я остановлюсь на том, как математики обходятся с определениями при построении доказательств, поскольку: ‘Отличие математического доказательства от доказательств в других науках состоит в том, что в математике порог убедительности значительно выше...