جمله مرتبه اول $\forall x\exists yA(x,y)$را در نظر بگیرید.کدام یک از گزینه های زیر در مورد این جمله صحیح است؟
۱)همه مدلهای ان نامتناهی اند.
۲)همه مدلهای ان متناهی اند.
۳)ناسازگار است.
۴)هیچ کدام
جواب:گزینه ۴