Theorem

定理

定理是指经受过逻辑限制被证明的为真的陈述