Metalogika: Różnice pomiędzy wersjami
Wygląd
[wersja nieprzejrzana] | [wersja nieprzejrzana] |
Usunięta treść Dodana treść
m sprzątanie redirectów {{Mat-stub}} przeniesiono do {{Matematyka stub}} |
m warnfile dodaje: sk:Metalogika |
||
Linia 6: | Linia 6: | ||
[[de:Metalogik]] |
[[de:Metalogik]] |
||
[[en:Metalogic]] |
[[en:Metalogic]] |
||
[[sk:Metalogika]] |
Wersja z 20:15, 12 cze 2007
Metalogiką systemu logicznego nazywamy formalną teorię tegoż systemu. Wynikami metalogiki są takie twierdzenia jak np. niesprzeczność danej logiki. Szablon:Matematyka stub