横からだが、歴史的に数学基礎論は数学の基礎付けのために始まった学問だから、現代の数学をベースにした数学基礎論は循環論法だっていうキチガイが基礎論スレにいたな
現代の教科書が読めないからって歴史から入る人間は話聞いてるとだいたい頭がおかしい