Metalogika: Różnice pomiędzy wersjami

[wersja przejrzana]

Usunięta treść Dodana treść

Jednokolumnowy

Wersja z 20:46, 12 lut 2022

Metalogika – dział logiki matematycznej powiązany z metamatematyką, badająca różne systemy logiczne jako teorie formalne^[1]. Wynikami metalogiki są takie twierdzenia jak np. niesprzeczność danej logiki^{[potrzebny przypis]}.

↑ metalogika, [w:] Encyklopedia PWN [online], Wydawnictwo Naukowe PWN [dostęp 2022-02-12] .

@@ Linia 1: / Linia 1: @@
 {{dopracować|źródła=2021-12}}
-'''Metalogika''' – dział [[Logika matematyczna|logiki matematycznej]] powiązany z [[Metamatematyka|metamatematyką]], badająca różne systemy logiczne jako [[Teoria (logika)|teorie formalne]]<ref name="epwn">{{Encyklopedia PWN | id = 3940011 | tytuł = metalogika | data dostępu = 2022-02-12 }}</ref>. Wynikami metalogiki są takie twierdzenia jak np. niesprzeczność danej [[logika|logiki]].
+'''Metalogika''' – dział [[Logika matematyczna|logiki matematycznej]] powiązany z [[Metamatematyka|metamatematyką]], badająca różne systemy logiczne jako [[Teoria (logika)|teorie formalne]]<ref name="epwn">{{Encyklopedia PWN | id = 3940011 | tytuł = metalogika | data dostępu = 2022-02-12 }}</ref>. Wynikami metalogiki są takie twierdzenia jak np. niesprzeczność danej [[logika|logiki]]{{fakt|data=2022-02}}.
 == Przypisy ==