ということは3つの案に絞られたか

A案:>>53の案
B案:数学基礎論(数理論理学)http://kamome.2ch.net/test/read.cgi/math/1317639944/932
C案:現状維持