English Dictionary

Graduate students often study multiple formal systems to understand the foundations of logic.

大学院生は論理学の基礎を理解するために複数の形式体系を学ぶことが多い。