現在成立している数学の体系では、何故「定義」「定理」と呼ばれるものが
存在できるんですか？
これは公理なのか、証明可能な命題なのか、
それとも証明は不可能な命題なのかどうなんでしょう？
これについて詳しく書いてある本も教えてもらえるとありがたいです。