証明論の本て、証明とは何かを定義しているように見えるけど、実際のところ、巷の数学書を眺めると、証明論の本が定義するような仕方で定理を証明している本なんて何処にもない。

定理の適用、推論規則の適用に関して、数学書の証明はとんでもない量の飛躍をしている。