Logika matematyczna – Inne języki