信仰は数学ツールの最も基本的なものです