teoría formal de conjuntos

Sustantivo
  1. Sistema matemático que estudia conjuntos y sus relaciones mediante axiomas y lógica formal.
    La teoría formal de conjuntos es fundamental en matemáticas.
synonyms: teoría de conjuntos, teoría formal