Таким образом, понятие теоремы является дедуктивным по своей сути, в отличие от концепции научной теории, которая является эмпирической.
Сначала многие математики не принимали эту форму доказательства, но в последние годы она получила более широкое распространение.