| suomi | fin-000 |
| looginen todiste | |
| català | cat-000 | demostració |
| English | eng-000 | logical proof |
| euskara | eus-000 | frogapen |
| bahasa Indonesia | ind-000 | bukti |
| italiano | ita-000 | dimostrazione |
| 日本語 | jpn-000 | 論証 |
| português | por-000 | demonstração |
| español | spa-000 | demostración |
| español | spa-000 | prueba lógica |
| ภาษาไทย | tha-000 | การพิสูจน์ทางตรรกศาสตร์ |
| Bahasa Malaysia | zsm-000 | bukti |