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

260 ：１３２人目の素数さん：2021/05/13(木) 23:33:32.51 ID:YQoHLcer.net

何が聞きたいかというと
写像を直積の部分集合と定義するのは変じゃ無いかってこと
直積の部分集合で``表現''されるってなら分からんでもないけど
直積の部分集合だとf(a)って書き方をするための写像applyを考えてそれも写像なら直積の部分集合でそれの適用結果apply(f,a)=f(a)もapplyとfとaからf(a)を対応させている写像なんじゃないかと思えていつまで経っても終わらなく無くない？