dopuszczalne w grach (i)
teoremat
znaczenie: info (1)
twierdzenie należące do systemu dedukcyjnego, wyprowadzone za pomocą dedukcji z aksjomatów systemu, do którego należy
KOMENTARZE
Istotnie, mózg "się lasuje" gdy się czyta tę definicję! Może ktoś zaproponuje coś bardziej komunikatywnego? M176c / W
To po prostu przestarzale 'twierdzenie'...
dodaj +
PROSIMY PISAĆ KRÓTKO I NA TEMAT
91629162 od końca
ok