Sistema formal - Outras línguas