Dôkaz (logika) – Ostatné jazyky