사전

る論理が完全であるとは、逆に全ての真の文を導出できることを意味する。 形式的証明は整式の連なりである。証明を構成する整式は、公理かまたは証明内の前の整式に推論規則を適用して導出されたものである。一連の整式の最後の整式が定理と認識される。 このような観点を総じて、数学は「形式主義」的であると称する。