>>226
下位レイヤーである述語論理を
上記レイヤーである集合論に直す愚か者はいない
実数・線形代数・集合・論理が分からん素人は金輪際数学板に書くな