PanLinx
français
fra-000
axiome de compacité
Deutsch
deu-000
Vollständigkeitsaxiom
PanLex