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