Metalogika

Ten artykuł od 2021-12 wymaga zweryfikowania podanych informacji. Należy podać wiarygodne źródła, najlepiej w formie przypisów bibliograficznych. Część lub nawet wszystkie informacje w artykule mogą być nieprawdziwe. Jako pozbawione źródeł mogą zostać zakwestionowane i usunięte. Po wyeliminowaniu niedoskonałości należy usunąć szablon {{Dopracować}} z tego artykułu.

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.

Przypisy