Metalogika
Wygląd
Metalogiką systemu logicznego nazywamy formalną teorię tegoż systemu. Wynikami metalogiki są takie twierdzenia jak np. niesprzeczność danej logiki. Szablon:Matematyka stub
Metalogiką systemu logicznego nazywamy formalną teorię tegoż systemu. Wynikami metalogiki są takie twierdzenia jak np. niesprzeczność danej logiki. Szablon:Matematyka stub