Dokaz (logika) - Drugi jezici