  |
直積集合(座標とかベクトルとかな)と呼ばれるものが確かに集合であるってことの証明が既にハードで意外。
まず途中から証明にインデントを使わなくなるってのは使わなくなる章の冒頭で断っててこれ以上はないだろと思ってたら。
この本ではなぜそれが成り立つのかということが、「よってA∧B(∧導入)」という形で括弧書きで断る方式で証明は書かれているのだが、まさに直積集合の証明では明らかにどこかで∃除去を使ってないとおかしい道筋なのにどこにもそれを使ったと書いてない。
てなわけでステルス省略が確定したわけだが、これがまさにこの証明を追うのがハードになっている一因になっている。省略しない書き方を復元したらどこで∃除去を使うことになるのかなかなかわからないってわけだ。
さらにもしやと思ってまだ精読してない章をぱらぱらめくってみると、さらに後の章ではそもそも∧,∨,→,∃,∀,の導入と除去とRAA,EFQの断わりが一切省かれてた。
いやさあ日本語の数学書はあんまり売れないからって紙代省くのに必死になるのはわからないでもないけど、ステルス省略はやめようよｗ
しかも一度は省略時に断ってるのがタチ悪い。次も新たに省略要素が増えるときは都度補足するんだろうって思うもんだからな。しょうもない迷宮に迷い込ませるもとだ。
まだ半分しか読んでないのにもう一か月経ちそう。二回借りることになるなあ…。
dorawiiより
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 https://anond.hatelabo.jp/20251219191928# -----BEGIN PGP SIGNATURE----- iHUEARYKAB0WIQTEe8eLwpVRSViDKR5wMdsubs4+SAUCaUUmsgAKCRBwMdsubs4+ SGQPAP9hFQc957hglmyW+sqWEkqLNaTc52oaq4l0+600JM7qTwD/Sa9088h3G7IT zC8Gj9ZZFQLlmyMbLaoWz3QrDwVMFgI= =QENs -----END PGP SIGNATURE-----
18
