公理系
代数、集合論、数学、基、実数、素数、ペアノ、算術、論理、幾何学