893 １３２人目の素数さん [] 2016/09/20(火) 13:24:10.84 ID:JNe/5TIk [45/108]
>>891
http://i.imgur.com/IMGB9C9.jpg

大学くらい行けよ低学歴

※上のリンク先から抜粋：
一般に、xについての文章P(x)が集合Xを定義域とする命題関数であるとは（中略）
例えば、P(x): x+3＜7の定義域として、実数全体Rを採用する命題関数と、整数全体Zを採用する命題関数は異なった命題関数です。



898 １３２人目の素数さん [sage] 2016/09/20(火) 13:32:00.20 ID:kpNKDZUG [4/13]
>>893
やっぱりあなたは勘違いしてるね
あなたの考える公理系というのは、集合論の枠組みの中での単なる定義のことだよ
「位相空間の公理系」「ベクトル空間の公理系」等

一方、論理学で公理系と呼ばれるものは形式言語で定義されており、
どの集合を定義域とするか指定しないどころか、集合自体が現れないし、定義域という概念もない
定義域という概念がないので、「禁止公理の追加による定義域の制限」という操作は不可能
公理系自身がモデルを指定することはできない