pomoc z arytmetyki konstruktor: Może komuś się uda, ja nie mam pojęcia jak się za to zabrać Arytmetyka Peano, mam udowodnić, że: 1) 1+1=2 2) 1x1!=1 3) ⋀ dla x ⋁ dla y y>x 4) 2>1