형식논리학 - 다른 언어