Большой энциклопедический словарь - формализм

ФОРМАЛИЗМ -..1) предпочтение, отдаваемое форме перед содержанием в различных сферах человеческой деятельности. Проявляется в безукоснительном следовании правилам этикета, ритуала даже в тех случаях, когда жизненная ситуация делает это бессмысленным, в преклонении перед буквой закона при пренебрежении к его духу, в искусстве в признании "чистой" формы единственно ценным художественным элементом, и т. п

2)] Направление в основаниях математики, объединившее идущую от Г. Фреге идею строгой формализации математических рассуждений с абстрактным подходом к математике как неинтерпретированному исчислению (формальной системе) с целью доказательства ее непротиворечивости. Основатель Д. Гильберт. .