[[공리,axiom]]와 [[정의,definition]]에서 이끌어 낸, 참으로 [[증명,proof]]된, 수학적 사실.

MKL
[[명제,proposition]] // ''정리와의 관계는 [[증명,proof]]페이지를 보면: ‘증명된 명제 중 자주 사용되며 기본이 되는 것들이 정리.’''
[[문제,problem]]
[[보조정리,lemma]] // 이하 둘은 '''정리,,theorem,,'''와 절대적으로 구분되는 건 아님, 현재 서술하는 중인 정리/증명/글text/...의 [[문맥,context]] 내에서의 [[역할,role]]에 따라 theorem이 lemma나 corollary라는 이름이 붙기도 하고 그런 것. 대체로 다른 정리를 위한 보조정리, 정리가 하나 나오면 그로 인해 자연스럽게 나오는 건 따름정리? Ggl:"보조정리 따름정리"
[[따름정리,corollary]]
[[이론,theory]] // 영단어가 비슷, 뜻도 관련, 혹시 둘의 [[어원,etymology]]은 관련이 있나? 암튼 둘 다 (현재까지 밝혀진 바로는/현재의 [[과학,science]] [[패러다임,paradigm]] 아래서/....) [[사실,fact]]/[[진리,truth]]로 간주되는 그런 건데, ● '''정리'''는 좀 일화적이고 짧은 것이고 하나의 [[진술,statement]]/[[문장,sentence]]/[[명제,proposition]]에 [[대응,correspondence]]되며(물론 그 [[증명,proof]]은 매우 길 수 있다), ● 이론은 보통 종합적인 학문 분야(study? discipline?)의 일부분, 여러 정리들을 포함한, 정도의 뜻인데(chk, 내생각)... TODO cmp.
 WtEn:theorem WtEn:theory
 https://ncatlab.org/nlab/show/theory

ex. / Sub
[[피타고라스_정리,Pythagorean_theorem]] - w
[[4색정리]] four_color_theorem four-color_theorem - w
 https://mathworld.wolfram.com/Four-ColorTheorem.html
 https://en.wikipedia.org/wiki/Four_color_theorem
 증명되기 전엔 4색문제 ...[[문제,problem]]였다, 아무튼 '''정리'''의 증명 이전의 명칭은 명제 말고도 '문제'도 있다, 위 mkl에 추가함 (del this)
...

Auto-generated List of *theorem* Pages:
[[PageList(theorem)]]
''나중에 [[규칙,rule]] [[원리,principle]] [[보조정리,lemma]] [[따름정리,corollary]] [[수,number]] [[행렬,matrix]] [[문제,problem]] [[공간,space]] [[관계,relation]] [[순서,order]] model([[모형,model]] or [[모델,model]]) [[분포,distribution]] formula term _norm([[노름,norm]]) algebra(suffix _algebra / prefix algebraic_ ) [[이론,theory]] ...등의 페이지에도 이 방법을 쓰면 간편할 듯. 다만 몇 개 안되는 페이지들에 대해서 굳이 이 방법 필요 없음. / 현재 [[함수,function]]페이지에서도 같은 방법 쓰고 있음("auto-gen"...문단) [[행렬,matirx]]페이지에는 안쓰고있는듯. ....''

topics:
정리증명 theorem_proving - w
 {
 '''theorem proving'''
 http://www.aistudy.com/math/theorem_proving.htm
  "'''정리'''는 수학적으로 참인 [[명제,proposition]]를 뜻한다."
 Up: [[정리,theorem]] [[증명,proof]]
 } // theorem proving Ggl:"theorem proving"
자동정리증명 automated_theorem_proving (ATP) - w
 {
 '''automated theorem proving''', AKA '''automated deduction''' (we) ... so rel [[연역,deduction]]
 Rel [[symbolic_computation]]
 WpKo:자동_정리_증명
 WpEn:Automated_theorem_proving
 WpJa:自動定理証明
 } // automated theorem proving Ggl:"automated theorem proving"
증명검증 proof verification [[proof_verification]] - w
 {
 proof verification
 } // proof verification Ggl:"proof verification"

Rel:
[[역설,paradox]] - 사실 중명된 '''정리'''이지만 [[직관,intuition]]과 큰 괴리가 있는 경우 저 이름이 붙기도 함. (그 때는 다른 논리적 무슨 역설,,([[모순,contradiction]]같은. 구체적으로 rewrite),,과는 다른 의미.)
 ex. [[바나흐-타르스키_역설,Banach-Tarski_paradox]] - w

(tmp)
RR : 정리,theorem

----
Twins:
https://proofwiki.org/wiki/Definition:Theorem

Up: [[수학,math]]