Критика релятивизма
С изложенной точки зрения существование законченных доказательств не подлежит сомнению. Более того, мы имеем основания утверждать, что к этому классу относится подавляющее большинство всех доказательств, принятых математическим сообществом. Этот вывод подтверждается практикой математического мышления и историей математики. Все концепции доказательства, которые ставят под сомнение надежность и строгость математического мышления, с этой точки зрения должны быть признаны несостоятельными.
Критика релятивизма, однако, не будет вполне убедительной без рассмотрения его собственных аргументов. Мы должны представить эти аргументы в систематической форме и найти истоки содержащихся в них заблуждений.