Sistem aksioma - Bahasa lain