Metalogika: Różnice pomiędzy wersjami
Wygląd
[wersja nieprzejrzana] | [wersja nieprzejrzana] |
Usunięta treść Dodana treść
m kat. (chyba tu?) |
m robot dodaje: fa:فرامنطق |
||
Linia 6: | Linia 6: | ||
[[de:Metalogik]] |
[[de:Metalogik]] |
||
[[en:Metalogic]] |
[[en:Metalogic]] |
||
[[fa:فرامنطق]] |
|||
[[sk:Metalogika]] |
[[sk:Metalogika]] |
||
[[sv:Metalogik]] |
[[sv:Metalogik]] |
Wersja z 14:46, 20 mar 2008
Metalogiką systemu logicznego nazywamy formalną teorię tegoż systemu. Wynikami metalogiki są takie twierdzenia jak np. niesprzeczność danej logiki. Szablon:Matematyka stub