Metalogiką systemu logicznego nazywamy formalną teorię tegoż systemu. Wynikami metalogiki są takie twierdzenia jak np. niesprzeczność danej logiki.
Dodaj tę stronę do książki
Pokaż książkę (0 stron)
Proponowane strony
