数学的一般理论
: Y/ m; s/ ?8 Q4 N) j( o- } 科学 science: v3 ]' N' u% [
算术 arithmetic
2 N( Y# n: U5 E8 t' N 几何学 geometry
Y$ l/ h3 O* m/ d9 ^+ k1 L 代数 algebra* V2 Q( H7 m' E2 ]1 l
微积分 calculus
! w2 K4 q6 n/ ], m! n' N0 [- s( F 解析学 analysis
% l; J" M3 v0 N0 t4 f* P5 g0 y 概率论 probability theory
% e* b j* ^# b7 J/ f 统计学 statistics" m2 P7 ^$ P9 F; R8 L
方法 method0 N( e/ h: M0 O$ I* O
分析 analysis( `3 {! P1 _# P' J% ]7 U
逻辑 logic
0 \/ M: n; X: r _; j+ A 理论 theory1 c S& r$ A8 u! ^
定义 definition; e- A; \1 f3 `& {& m$ J% o+ i
命题 proposition- M6 N& [. G$ @& ^8 r9 ^
假说 hypothesis
: C8 {1 }, i0 \ 公理 axiom
4 y, K& }; o P) } R1 g- i! o 要件 postulate
! M, i9 q: j4 \5 y8 K, E( r9 t 定理 theorem
' H0 a8 M! [7 F) [. l7 a 证明 proof) w( J: v( D+ m2 p5 p- E9 N) ]% c l
假定 assumption
1 N5 a; I4 M7 K" q- \. V, U& T9 T 结论 conclusion$ _0 h4 W4 f) ~4 L0 c/ ]' ]6 K
证明终止 Q.E.D. (quod erat demonstrundum)0 s# B" H0 W+ G7 V/ R# ?: x. d0 ~
引理 lemma
( k0 K- ?3 i/ b6 Y- |+ d7 X( V 系 corollary
2 X& f: Q8 ^' q) ?# l 反例 counter-example
! {9 b2 O5 P1 m" | 反证法 reductio ad absurdum
z% q6 n. X. p0 S9 u1 Y 对偶 contraposition( n/ \; ^# q4 e& W0 H8 Y) ^3 d
逆 converse2 {8 \" |1 N1 p) K/ K" G, s1 B7 @. `
恒等式 identity" b! O- t/ Q' _1 Z' i# W9 }* d
[此贴子已经被作者于2004-11-19 0:36:49编辑过] |