RoMan Mandziejewicz <r...@p...pl.invalid> napisał(a)
> Hello Tomek,
>
> Tuesday, December 30, 2014, 3:48:08 PM, you wrote:
>
>>> Każdy kto zna podstawy logiki, wie że żadanie udowodnienia nieistnienia
>>> czegoś jest absurdalne.
>> Nie istnieje parzysta liczba pierwsza > 2.
>
> Oczywiste i łatwe do udowodnienia.
>
>> Nie istnieją liczby naturalne p, q takie, że sqrt(2)=p/q.
>
> Znasz dowód?
>
>

Jakbym nie znał, to bym nie pisał. Uczyli mnie w liceum.

Ale nie brnijmy w to, chodziło mi tylko o wygłoszone ex cathedra
nieprawdziwe zdanie, że nie da się udowadnić nieistnienia czegoś.

--
Tomek