SJP
*
SŁOWNIK SJP

X

teoremat

dopuszczalne w grach (i)

teoremat

twierdzenie należące do systemu dedukcyjnego, wyprowadzone za pomocą dedukcji z aksjomatów systemu, do którego należy


KOMENTARZE

~gosc # 2014-10-24

Istotnie, mózg "się lasuje" gdy się czyta tę definicję!

Może ktoś zaproponuje coś bardziej komunikatywnego?

M176c / W

~gosc # 2014-10-24

To po prostu przestarzale 'twierdzenie'...