SJP
*
SŁOWNIK SJP
X

teorematach

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

151151 od końca