公理,定義,定理,公式の違いを具体例を使って教えて下さい!