>>213
でも数理論理学って数学の危機を解決できてないじゃん
ゲーデルが「数学者の言うことは本当か嘘か分からない」って証明した後、
数学の信頼を回復するような成果があったの？