تالار گفتمان مانشت

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