[Fadex]

RomanX, naturalne że w dowodzie korzysta się z wcześniej udowodnionych / zdefiniowanych pojęć. W przeciwnym razie dowody "prostych" równości typu 2+2=4 zajmowałyby kilkadziesiąt linijek, a "proste" twierdzenia geometryczne kilka kartek A4. To, że pominąłem definicję równości i dodawania oraz ich własności nie znaczy, że one nie istnieją - uznałem tylko że nie ma sensu jej tu przytaczać bo to materiał na inną definicję/dowód. Przypominam też, że każdy dowód opierający się na udowodnionych faktach jest pełnowartościowy, tak samo jak ten wyprowadzony z pojęć aksjomatycznych. Empiryczna intuicja natomiast - nie i chyba jest ku temu jakiś powód.

[cx]

tak

[Jakim]

http://tachyos.org/godel/1+1=2.html

Formalny dowód równości 1+1=2. Nie zamierzam przedstawiać Principia Mathematica, gdzie dowód tej oczywistości zajął od licha tekstu (znaków w zasadzie).

I CO TERAS?

[Minty]

I teras to już było napisane