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