形式論理学 - 他の言語