SJP
*
SŁOWNIK SJP

X

teorematowi

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

(brak)


PROSIMY PISAĆ KRÓTKO I NA TEMAT

94809480 od końca