m ו-n לא חייבים להיות שונים נכון? למשל בהוכחה של הרפלקסיביות...
: <math>\N</math> מתחיל מ- 1. לא כתוב ש- <math>m\ne n</math> לכן אפשר להניח הכל. --[[משתמש:Grisha|Grisha]] 20:31, 24 ביולי 2012 (IDT)
== בוחן- 1.8 ==
שלום, ידוע כבר איזה נושאים הבוחן יכלול? תודה מראש.