(cache)Solufa on X: "ITエンジニアに数学が苦手な人が多いようですが、公理はITで例えるとトラストアンカー（信頼の基点）に相当しますまた、数学は自己検証可能なのでトラストアンカーである相乗の公理を認めたときにミレニアム問題含む全ての命題が解けるならそれは自動的に公理になります" / X

ITエンジニアに数学が苦手な人が多いようですが、公理はITで例えるとトラストアンカー（信頼の基点）に相当しますまた、数学は自己検証可能なのでトラストアンカーである相乗の公理を認めたときにミレニアム問題含む全ての命題が解けるならそれは自動的に公理になります