Формалізм (математика)

один із напрямів у математиці й логіці, представники якого намагаються обґрунтовувати ці науки шляхом доведення несуперечливості як окремих теорій, так і математики й логіки загалом