| English | eng-000 |
| logical proof | |
| català | cat-000 | demostració |
| 普通话 | cmn-000 | 逻辑证明 |
| euskara | eus-000 | frogapen |
| suomi | fin-000 | looginen todiste |
| bahasa Indonesia | ind-000 | bukti |
| italiano | ita-000 | dimostrazione |
| 日本語 | jpn-000 | 論証 |
| português | por-000 | demonstração |
| русский | rus-000 | логическое доказательство |
| español | spa-000 | demostración |
| español | spa-000 | prueba lógica |
| ภาษาไทย | tha-000 | การพิสูจน์ทางตรรกศาสตร์ |
| Bahasa Malaysia | zsm-000 | bukti |