Doğal sayılar kümesinin sıralı bir küme olduğunu kanıtlamak isteyen bir öğrenci aşağıdaki işlemleri yapıyor:
1. Her n ∈ N için n ≤ n olduğunu gösteriyor
2. m ≤ n ve n ≤ m ise m = n olduğunu gösteriyor
3. m ≤ n ve n ≤ k ise m ≤ k olduğunu gösteriyor
Bu öğrenci hangi matematiksel kavramı kanıtlamış olur?
