שינויים
/* פרדיקטים וכמתים */
נשים לב כי בשביל לקבוע אם הפסוק <math>\forall x P(x)</math> אנחנו צריכים לדעת איזה x ים "חוקיים" (בהנחה שאנחנו יודעים את P) ומכאן שנעבור להגדרות הבאות.
===תרגיל===
הצרינו את הפסוקים
(a) "כל שתי נקודות שונות קובעות ישר" באמצעות הפרדיקט הדו-מקומי P(x,l) - x נמצא ב l כאשר המשתנה x הוא נקודה ו l הוא ישר.
(b) "כל שתי נקודות שונות קובעות ישר אחד ויחיד"
===הגדרות הקשורות לקבוצות===
