>>305
今やってることですよ。数学基礎論から数論の大問題を解くことです。