有限個の公理から無限個の定理が導かれるのでしょうか?それとも定理は有限個?