Metalogika

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacji, wyszukiwania

Metalogiką systemu logicznego nazywamy formalną teorię tegoż systemu. Wynikami metalogiki są takie twierdzenia jak np. niesprzeczność danej logiki.

Źródło „http://pl.wikipedia.org/w/index.php?title=Metalogika&oldid=36147014”