>>989
first-order theoryってのはな、「これまでしてきた集合論の話に一階述語論理の体系を加えます」って意味なんだよ低知能低学歴ガイジ
バカに文字を与えてもバカがバレるだけ