En fait, les raisonnements mathématiques ne peuvent pas être réduits aux raisonnements démonstratifs qui permettent de déduire des conclusions à partir de prémisses données par le moyen de règles d’inférence explicitées à l’avance.
Trong thực tế, lý luận toán học không thể được giảm đến lý do chỉ cho phép suy luận ra kết luận từ cơ sở cho bằng phương tiện của quy tắc suy luận giải thích trước.
Trong thực tế, lý luận toán học không thể được giảm đến lý luận chứng minh có thể suy ra các kết luận từ cơ sở được đưa ra bởi các phương tiện quy tắc suy luận được mô tả trước.