数学的一般理论
, s7 i- P( n7 Z 科学 science0 p" I8 q' y; l
算术 arithmetic: ~2 z1 h' j# N7 z' Y: r" B: H
几何学 geometry
/ D, x" ?) U( | e: G2 R 代数 algebra
, _5 S" Z- L7 x 微积分 calculus
/ [: q# g; X) p9 T3 t 解析学 analysis
+ N6 H' Y8 m: K7 q& L3 Y9 l 概率论 probability theory8 W% Y( h7 t; V; } f9 `& k) s1 f
统计学 statistics2 Z4 J1 O1 f: g, e
方法 method
$ P: T4 o: P( f; c8 V V 分析 analysis
; g' N6 l( @& [8 k 逻辑 logic$ n2 H5 ~+ E0 @- _3 r( E; j9 |) j: g
理论 theory
/ S' s2 D+ h: \+ U 定义 definition& i. @: y x. @* D" v$ O- s. n
命题 proposition
8 i9 s" Z' y4 A+ n0 s2 Y1 _ 假说 hypothesis- b) @2 F( Z( t0 \! }& ], j
公理 axiom+ } O g* z6 H; z
要件 postulate6 F. G6 @8 |6 @) a) k' X& S% T2 P
定理 theorem
9 X2 \; |5 A4 b; _7 r% I 证明 proof
: N4 W3 Q" g4 }2 }9 n. a" `" `8 h& ?. F 假定 assumption
J# s7 c2 j1 e i9 _! e* v7 F6 K 结论 conclusion
9 ]( N6 Y2 W1 r$ r+ j: U1 | 证明终止 Q.E.D. (quod erat demonstrundum)
9 h. J! ^3 w5 T3 u7 |8 W* W 引理 lemma0 h# J# U& `4 V- u/ c z7 D
系 corollary
0 m0 q& r1 f) k } 反例 counter-example
7 Q* L* u' ^5 Y9 s 反证法 reductio ad absurdum
B, w, N8 [3 o6 J! u' K 对偶 contraposition
/ X9 V; N2 B' H9 U; b% k9 \2 H 逆 converse
A; ~' s' S e6 X! h 恒等式 identity
, E7 i# X' x1 b8 P4 B9 O P[此贴子已经被作者于2004-11-19 0:36:49编辑过] |