अनुवाद उपलब्ध नहीं है; मूल चीनी पाठ दिखाया जा रहा है।

अवधारणाएँ · concept_mathematical_foundations

数学基础 · संस्करण

数学基础讨论软件工程师用来精确推理的逻辑与形式系统，而不是日常算术。