21/07/15 04:17:00.93 /Q7LnOe8.net
質問
田中尚夫の公理的集合論p140のモスウトウスキー同型定理の証明
URLﾘﾝｸ(i.imgur.com)
クラス関数Gの定義が不十分だと思う。
クラス関数Pr2を、x=<p,q>ならばPr2(x)=q, そうでないなら Pr2(x)=xと定義することによって、
<u,v>∈G :≡ v=Pr2(u)``Dom(Pr2(u))
と定義するのが正解なのでは？
なぜなら、後に、F`x=G`<x,F|Seg_R(x)>としてFを定める、つまり、Gの引数に2項組が入力されるて、その第2項目が使われるのだから。