>証明を正当化する問題
自己矛盾しない証明ならそれを正当化する問題が存在しても
不思議ではない