... עצם... ומכאן שכל אדם המדגים דבר כלשהו, מתייחס לעקרון זה כהנחה הראשונית, משום שזוהי מטבע הדברים נקודת המוצא לכל שאר
האקסיומות 2) חוק השלישי הנמנע - לפיו טענה יכולה להיות או אמיתית או שקרית, ואין שום ... כתוכן מנטלי אינרטי, ולא כפונקציה. עם זאת יש לפרגה דרכים לטפל במושגים במסגרת לוגיקה מסדר שני. דרך אחת היא על ידי ציון
האקסטנציה של המושגים (ranges of values או Wertverlufe), דהיינו הקבוצה של האובייקטים ... קבוצה זו נתפשת כמושא, והיא יכולה להופיע, למשל, בטענות שוויון מספרי. טענות כגון אלו, המכריזות על שוויון מספרי בין האקסטנציות של מושגים שונים הן מהותיות עבור ההגדרה הלוגית של מושג המספר שפרגה הוא ... שפורסם הכרך הראשון של ספרו השלישי, חוקי היסוד של האריתמטיקה, ברטראנד ראסל גילה את הפרדוקס של ראסל, והצליח להראות שהאקסיומות של פרגה, ובמיוחד אקסיומה מספר חמש, מובילות אליו (מן
האקסיומה החמישית נובע כי עבור כל מושג, יש אובייקט המהווה את
האקסטנציה של מושג). הוא כתב על כך לפרגה, שהוסיף נספח לכרך השני של הספר בו הוא מודה ... המוכלות בהן שלמות (completeness) - זוהי תכונתן של מערכות לוגיות שבהן לגבי כל נוסחה אמיתית, ניתן לספק לה הוכחה מן
האקסיומות . נאותות (soundness) - בניגוד לנאותות של טיעון, שהיא התכונה של טיעון תקף שבו כל ההנחות אמיתיות, נאותות של מערכת לוגית היא התכונה לפיה אם נוסחה מסוימת ניתנת להוכחה מן
האקסיומות על פי חוקי התחשיב, אזי נוסחה זו אמיתית. הוכחות לשלמות ולנאותות מעידות על הזיקה שבין התחביר והסמנטיקה של המערכת. התחביר קובע איזו נוסחה היא תיאורמה (או משפט), דהיינו איזו נוסחה ניתנת לגזירה מן
האקסיומות, באמצעות כללי ההיסק. הסמנטיקה קובעת איזו נוסחה היא טאוטולוגיה, דהיינו איזו ...