provable ポーランド語で:

1. dający się udowodnić

ポーランド語 "という言葉provable"（dający się udowodnić）集合で発生します。