Металогика
- Металогика — раздел логики, изучающий металогические вопросы и отношения между понятиями.
- Металогические вопросы задавались со времен Аристотеля, исследования начали процветать с появлением формальных языков.
- Металогические и метаматематические принципы играют важную роль в исследованиях основ математики.
- Металогика и метаматематика в значительной степени являются синонимами друг друга и включены в математическую логику.
- Результаты в металогике включают формальные доказательства, демонстрирующие последовательность, полноту и разрешимость формальных систем.
Полный текст статьи: