Формализм (математика): различия между версиями