Формализм (математика)
Материал из Википедии — свободной encyclopedia
Эта статья — о течении в философии математики. Другие значения термина «формализм» см. на соответствующей странице.
Формализм — один из подходов к философии математики, пытающийся свести проблему оснований математики к изучению формальных систем. Наряду с логицизмом и интуиционизмом считался в XX веке одним из направлений фундаментализма в философии математики.