Metalogika: Różnice pomiędzy wersjami
| [wersja przejrzana] | [wersja przejrzana] |
Usunięta treść Dodana treść
drobne redakcyjne |
wstawienie {{Kontrola autorytatywna}} |
||
| Linia 1: | Linia 1: | ||
'''Metalogika''' – formalna teoria [[system logiczny|systemu logicznego]]. Wynikami metalogiki są takie twierdzenia jak np. niesprzeczność danej [[logika|logiki]]. |
'''Metalogika''' – formalna teoria [[system logiczny|systemu logicznego]]. Wynikami metalogiki są takie twierdzenia jak np. niesprzeczność danej [[logika|logiki]]. |
||
{{Kontrola autorytatywna}} |
|||
[[Kategoria:Logika matematyczna]] |
[[Kategoria:Logika matematyczna]] |
||
Wersja z 16:50, 5 wrz 2021
Metalogika – formalna teoria systemu logicznego. Wynikami metalogiki są takie twierdzenia jak np. niesprzeczność danej logiki.
Encyklopedie internetowe (specjalność):