* "כל העתקה לינארית ממרחב וקטורי לעצמו היא איזומורפיזם, כי ידוע שכל מרחב וקטורי איזומורפי לעצמו". [[משתמש:עוזי ו.|עוזי ו.]] 22:20, 5 במרץ 2011 (IST)
== מבנה: יולי 2011 ==
ארז, לא ברור לי הקשר בין הכותרת "הצרנת תכונות" לבין תוכן הסעיף שאחריה. סעיף ההצרנה שייך לפרק מאוחר יותר, תחשיב הפרדיקטים (הסדר הוא לוגיקת-קשרים, לוגיקת-פרדיקטים, לוגיקה מסדר ראשון; הצמדתי את שני האחרונים זה לזה). [[משתמש:עוזי ו.|עוזי ו.]] 03:27, 10 ביולי 2011 (IDT)