Nepřímý důkaz – Další jazyky