Fondasi matematika - Bahasa lain