>>989
数学で証明できないなら、その分野はもはや数学から除外すべきでは?