- 가설,hypothesis
- 고정점,fixed_point
- 논리일관성,logical_consistency
- 다항정리,multinomial_theorem
- 문장,sentence
- 문제,problem
- 방정식,equation
- 범주,category
- 법칙,law
- 베이즈_정리,Bayes_s_theorem
- 보조정리,lemma
- 샘플링,sampling
- 소거,elimination
- 수표현,number_representation
- 시그마대수,sigma-algebra
- 시스템,system
- 어낼러시스,analysis
- 연역정리,deduction_theorem
- 원리,principle
- 적형식,wff
- 정리,theorem
- 증명,proof
- 증명이론,proof_theory
- 차원,dimension
- 추론규칙,inference_rule
- 추론엔진,inference_engine
- 충족가능성,satisfiability
- 클레로_정리,Clairaut_theorem
- 펀더멘털,fundamental
- 포뮬러,formula
- 형식,form
- 형식언어,formal_language
Show Context.