Formule (logika) – Další jazyky