بنیان‌های ریاضیات - زبان‌های دیگر