[Math Processing Error]x∈N∖{0}⇒x−1∈N
olduğunu gösteriniz.
[Math Processing Error]x−1∉N olduğunu varsayalım ve [Math Processing Error]x∈N∖{0} olsun.
[Math Processing Error]x∈N∖{0}⇒(x∈N ∧ x∉{0})⇒(0≤x ∧ x≠0)⇒0<x⇒0+1≤x⇒1≤x⇒1+(−1)≤x+(−1)⇒0≤x−1x−1∉N⇒x−1<0}⇒ Çelişki.
O halde [Math Processing Error]x−1∈N olur.