11/11/13 09:55:45.41
少しずつわかってくるにつれて、Coqとは直接関係ない気もしてきたのですが、
どなたか教えてくださるか、もしくは良い文献の紹介等していただけないで
しょうか。
自然数の定義を例に話します。
（１）Oを自然数とする。
（２）nを自然数とするとき、S nも自然数とする。
（３）上記（１）（２）によって定められるもののみを自然数とする。
といった具合に自然数を定義することができますが、この（３）をどのように
形式的に表すかをもっと詳しく理解すれば、私の疑問が解けるような気がしてき
ました。
どうか偉い方々、よろしくお願いいたします。