数理論理学の共通な課題としては形式的体系の表現力や形式証明系の演繹の能力の研究が含まれる.
的