PanLinx
português
por-000
contrário de provability
English
eng-000
unprovability
PanLex
