気づいたんだけど、物理や工学では公理的な数学やってなくね？

でもいちばん工学的な実用上最重要の計算機科学がいちばん基礎論色が強い。