Формализм (математика) — Другие языки