수학기초론 - 다른 언어