多くの数学者は、別に公理的集合論や数理論理学の原理まで遡って数学をやっているわけではない
ということは、ある程度の厳密性を犠牲にしても、「これを認めれば実用上十分に数学ができる」という概念の集まりがあるはず
それは一体何なのか