数学内の「形式体系」を研究し応用できる範囲は、数学や計算機(コンピュータ)である。