数学を形式的に記述していって、例えば実際に微積分まで形式化した人はいるんでしょうか
プリンキピア・マテマティカでさえ実数論までだと聞いていますが