Univers Constructible de Gödel

concept

classe d'ensembles pouvant être décrits entièrement en termes de sous-ensembles plus simples

Propriétés

Catégories