定義して定理を証明するの繰り返しになってない数理論理学の本などあるわけがない