کدام گزارهٔ زیر نشان میدهد که عددهای طبیعی بزرگترین عضو ندارند؟
در گزارهٔ $\forall x\in N;\exists y\in N;x\lt y$ مقدار y برحسب مقدار x انتخاب شده، تعیین میشود. به عبارت دیگر، این گزاره بیان میکند که با انتخاب هر مقدار x در عددهای طبیعی، عددی طبیعی مانند y وجود دارد که $x\lt y$ بنابراین، مجموعهٔ اعداد طبیعی نمیتواند بزرگترین عضو داشته باشد (چون لااقل یک عدد بزرگتر از آن را میتوانیم پیدا کنیم).