形式主義 (数学)とはなんですか？

A. 数学における形式主義とは、数学における命題を少数の記号によって表し、証明において使われる推論を純粋に記号の操作と捉える考え方のことを指します。

参考URL:https://ja.wikipedia.org/wiki/%E5%BD%A2%E5%BC%8F%E4%B8%BB%E7%BE%A9%20%28%E6%95%B0%E5%AD%A6%29