Формальная система — Другие языки