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

↓

低学歴「ユークリッド幾何学は空間を指定していない！定義域など無い！」

wwww