| español | spa-000 |
| prueba lógica | |
| català | cat-000 | demostració |
| English | eng-000 | logical proof |
| 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 |
| español | spa-000 | demostración |
| ภาษาไทย | tha-000 | การพิสูจน์ทางตรรกศาสตร์ |
| Bahasa Malaysia | zsm-000 | bukti |