思想の中の数学的構造