数学基礎論も応用数学の一つであるという話 (脱線)

メタ数学

証明とは、定義とは、定理とは、みたいな話をしている

定義を定義(??)

#数学