(especially in mathematics) a formal statement that can be shown to be true by logic(尤指数学中的)定理
👨🏻🏫 Mr. Ng 劍橋詞典 📚 – cambridge.mister5️⃣.net切換為繁體中文