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
(brak)
dodaj +
PROSIMY PISAĆ KRÓTKO I NA TEMAT
43104310 od końca
OK