השימוש בפסוקים מרובי כמתים רווח מאוד במתמטיקה . שתי תבניות הפסוק הבאות שימושיות במיוחד : - / ' תכונה של זוגות עצמים 2 , _^) ; / ' ( הוא הפסוק "הזוג ( 0 , £ ) מקיים את התכונה . " ? ¥ לשתי התבניות הללו משמעות שונה לחלוטין , כפי שאפשר להיווכח מזוגות הדוגמאות ( 1 ) לכל אדם יש אישה שהיא אמו הביולוגית . יש אדם שכל אישה היא אמו הביולוגית . ( 11 ) לכל מספר טבעי ? 1 קיים מספר ראשוני £ הגדול ממנו . ( נוכיח טענה חשובה זו בהמשך הספר £ . קיים מספר טבעי ו , / כך שכל מספר ראשוני 6 גדול ממנו . ( הוכחה : המספר ! מקיים את התכונה ( . * תבנית התנאי הבאה תתגלה כשימושית במיוחד בפרק הבא : ( ראו לדוגמה טענת קיום של הצגה מצומצמת כשבר למספרים רציונליים , בעמ' . £ 116
אל הספר