数学的一般理论
9 M0 p6 A- u' I H+ m 科学 science: W3 p$ r# \, U
算术 arithmetic+ g$ O* M& _! u
几何学 geometry7 V& z2 K- d0 X* G: Q s
代数 algebra' {$ g9 b5 Q) y7 y
微积分 calculus
( C+ x# c7 Y2 B0 K 解析学 analysis
1 @0 R/ J* F2 s4 f" z, {1 R 概率论 probability theory
4 N& _ S" Z$ R( o. L# u, v 统计学 statistics
+ \% ?' A: @- o- h! M9 s 方法 method
+ J$ H8 N% [" u- ?$ z8 _ Y 分析 analysis
0 f/ K4 M9 Y+ d 逻辑 logic' E# p( n: v* G5 y0 ^
理论 theory
7 D* R4 _/ U! s 定义 definition
4 R( t& s' o% M( D; ~9 h0 p# ] m 命题 proposition
K8 \5 V5 L2 a% G 假说 hypothesis, C7 `+ l5 y5 \7 J9 e0 m
公理 axiom8 K! S, S) D' T$ W/ K: N+ l
要件 postulate
+ ]# Z E% W5 j `* R7 o0 H 定理 theorem: c" y# M5 j: m
证明 proof
) Q7 D2 R3 O- @4 F! R7 t 假定 assumption
8 H! w: e1 W3 t& {2 Z# U% J 结论 conclusion
1 W0 F% A( {; Y$ o7 t 证明终止 Q.E.D. (quod erat demonstrundum): t5 @6 T5 M% o. h! ^
引理 lemma( a r( E" R; d
系 corollary
, Q# s- H6 b6 i) d 反例 counter-example, {' m- l$ T3 c3 x5 Q Z" }
反证法 reductio ad absurdum; Y1 p* ?- Z; D/ ] L/ u3 d0 ?
对偶 contraposition
3 p" ]3 f- q3 G p9 C5 }% _ 逆 converse
! J$ Y& g1 ]4 G I3 o 恒等式 identity k& ^& o4 n1 f* }
[此贴子已经被作者于2004-11-19 0:36:49编辑过] |