> ・命題と論理にはわりと自信がある。

例えば松坂に書いてあるような証明がスッキリと理解できる？