Théorème de Définissabilité de Beth

concept

Propriétés