Отраслевые рубрики: логика, математика, математическая логика, философские науки

Ключевые слова: доказательства, математическое мышление, множества, мышление, нумерация, перформативные высказывания, теория доказательств, теория множеств, формализм, формальная арифметика, формальные системы

Персоналии: Гедель Курт, Гильберт Давид