Metalogika
dział logiki matematycznej / Z Wikipedii, wolnej encyclopedia
Metalogika – dział logiki matematycznej powiązany z metamatematyką[1], badający różne systemy logiczne jako teorie formalne (dedukcyjne)[2][3]. Wynikami metalogiki są takie twierdzenia jak np. niesprzeczność danej logiki[potrzebny przypis].
Ten artykuł od 2021-12 wymaga zweryfikowania podanych informacji. |