Исследования и отчеты по математике

Логика и основы

Логика и основы — это раздел математики, в основном сосредоточенный на теории множеств, а также на применении логики в математике. Они разделены на подполя теории множеств, теории рекурсии, теории моделей, больших кардиналов, теории тонкой структуры и теории доказательств.