W dniu poniedziałek, 30 marca 2015 09:49:49 UTC+2 użytkownik slawek napisał:
> On Fri, 27 Mar 2015 02:57:24 -0700 (PDT), g...@g...com
> wrote:
> > To jest akurat rzecz podstawowa: wystarczy pokazać, że każdy krok
> dow=
> > odu
> > wynika logicznie z tez dowiedzionych wcześniej, albo przyjętych
> przez n=
> > as
> > aksjomatów, w oparciu o uznawane przez nas reguły wnioskowania
> > (które uważamy za oczywiste).
>
> Marzyciel z ciebie.

Z ciekawości zapytam: jakie masz doświadczenie z formalnym dowodzeniem
twierdzeń?