Udowodnij, że jeden jest większe od zera. Ma to być udowodnione matematycznie, na podstawie matematycznych praw.

[latex][latex]\k> miff exists nin N_+ : m+n=k, \ k,m,nin N \. \1>0iff 0+1=1 [/latex][/latex] co konczy dowod. Zapisze to jak sie czyta ww. symbole matematyczne: W zbiorze liczb rzeczywistych: Liczba k jest wieksza od m wtedy i tylko wtedy, gdy  istnieje liczba dodatnia n, taka ze m+n=k.