maxOS Braindump
Theorem
定理
定理是指经受过
逻辑
限制被证明的为真的
陈述
。
Links to this note
Axiomatic System
Mathematical Proof