逻辑和基础

逻辑与基础是数学的一个子领域，主要关注集合论，也强调逻辑在数学中的应用。它们分为集合论、递归理论、模型论、大基数、精细结构理论和证明论等子领域。