数学は幾つかの無定義概念と公理系より出発する。
但し、公理系は一般に無限個の公理からなっているので、
これを同時に全部理解するのが素人には難しいところだ。