PanLinx
English
eng-000
independent postulates
čeština
ces-000
nezávislé axiomy
PanLex