有关数学原理的基础知识及理论，包括集合论、范畴论、范代数和模型论四个部分。