dopuszczalne w grach (i) -
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'...