PanLinx
فارسی
pes-000
قضیۀ بدیہیه
English
eng-000
axiom
PanLex