PanLinx
日本語
jpn-000
論証し得る
русский
rus-000
доказуемый
PanLex