数理論理学（数学基礎論）　その14

44 ：１３２人目の素数さん：2019/08/24(土) 19:02:54.25 ID:F/68y/86.net

新井敏康『数学基礎論』の集合論の章で、
Godel operationとして書いてある
F4(x,y):={u∪{v}:u∈x, v∈y}から
直積が構成できると書いてあるけど、
具体的にはどうやれば良いですかね？

冪集合の公理も置換公理もないから
どうやれば良いのかちょっとよく分からないのですが。