teoría de conjuntos formal
- Rama de las matemáticas que estudia los conjuntos y sus relaciones mediante axiomas y reglas precisas.La teoría de conjuntos formal es fundamental en la lógica matemática.
synonyms: teoría de conjuntos, teoría formal de conjuntos