数学的一般理论! A/ O+ `. S$ d, z
科学 science, [1 q3 d% W$ ?+ I/ |, a q+ m" B
算术 arithmetic
7 u G) C: ]; ~$ V 几何学 geometry
1 z% c4 E7 y/ D: s 代数 algebra& h" G ]/ i/ ]& D
微积分 calculus
4 L. ^/ x( b, r. ~2 W5 N; X/ \+ F 解析学 analysis
' i7 l0 A; }7 [0 } 概率论 probability theory; m% u' h3 e/ l7 r, i( q
统计学 statistics* ` T& \5 s* c' h4 d; @. M# T( y
方法 method
+ ]8 r3 m, @$ @; }% @ 分析 analysis8 q' \. [# X/ n5 \- S
逻辑 logic
& @5 ]: y4 a- P, P7 l- ?: A 理论 theory
" j* t' j" f( s; {; V' F 定义 definition
* V/ w5 Q3 d% `* c; m 命题 proposition* e- r) b6 n3 V I
假说 hypothesis! q# ~- n9 \; P$ w( A
公理 axiom
$ D0 b8 a% R0 r) z& U$ H9 [" k 要件 postulate
+ D* |+ _$ J3 n% Y 定理 theorem
/ E4 u4 j( V1 k& K 证明 proof: z3 | d+ Q0 L: e& }# S
假定 assumption
' M$ G+ O0 y8 m1 l. ]( D 结论 conclusion
- x. b* O, N# v* I) ~5 i" H% v 证明终止 Q.E.D. (quod erat demonstrundum)
8 ]- |/ v: \& d 引理 lemma/ X7 f- M# s2 m( {
系 corollary* u! M& W% ~/ S8 ]
反例 counter-example
; v/ l; w! c- f8 y2 e. p ]4 c( R2 q 反证法 reductio ad absurdum
1 h q8 b% ]* P1 w 对偶 contraposition& G. [+ G6 X! c6 B$ e
逆 converse
5 u$ e4 {3 C! b 恒等式 identity
# L' K$ G* [7 i: K; H[此贴子已经被作者于2004-11-19 0:36:49编辑过] |