На самом деле математическое доказательство показывает, что определенные выводы, такие как иррациональность, следуют из определенных помещений, такие как принцип математической индукции. Достоверность этих помещений является совершенно независимым вопросом, который можно безопасно оставить философам.