Metalogika

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacja, szukaj

Metalogika – formalna teoria systemu logicznego. Wynikami metalogiki są takie twierdzenia jak np. niesprzeczność danej logiki.