English Dictionary

The team attempted to arithmetize the algebraic structure so that all proofs could be carried out using only basic arithmetic operations.

チームは、すべての証明を基本的な算術の概念と演算だけで行えるように、代数構造を純粋に算術的な用語で表現しようとした。