• TeX_및_LaTeX_수식_문법
       ||\qed ||$\qed$ ... [[증명,proof]] 완료 ||
• 귀납,induction
       [[수리논리,mathematical_logic]]에서 쓰이는 proof_method 이다. ([[증명,proof]] 방법)
• 귀류법,proof_by_contradiction
       주장이 [[거짓,false]]이라고 [[가정,assumption]]한 뒤 [[모순,contradiction]]된 결과가 유도됨을 보여 주장이 [[참,true]]임을 보이는 [[증명,proof]]법.
       AKA '''모순증명법'''. 조건문^^ WtEn:conditional_statement ？ x (2023-11) WpEn:Conditional_statement ？ [[Ndict:조건문]]^^ $p\to q$ 를 [[증명,proof]]할 때, [[가정,assumption]] $p$ 가 [[참,true]]이고 [[결론,conclusion]] $q$ 가 [[거짓,false]]이라고 [[가정,assumption]]하여 [[모순,contradiction]]이 생김을 보여서 증명을 완성하는 기법. 직접적으로 증명할 수 없는 경우에 유용한 간접증명법이다.[* [[https://terms.naver.com/entry.naver?docId=3338039&cid=47324&categoryId=47324 수학백과: 모순명제]] 2. 모순증명법]
       수학의 많은 존재 증명([[존재성,existence]] [[증명,proof]])은 '존재하지 않는다면 [[모순,contradiction]]이 유도된다'는 ([[가정,assumption]]?) [[귀류법,proof_by_contradiction]]에 의존하지만, Brouwer의 직관주의에 따르면, 존재하지 않으면 모순이 생긴다는 것이 존재한다는 것으로 귀결될 이유가 없다. - ''존재증명에는 더 구체적인 뭔가가 더 필요하다?''
• 논리,logic
       [[증명,proof]]
• 명제,proposition
       [[증명,proof]]
• 명제논리,propositional_logic
       //////////// 이후계속 dddddddddddddddd ... 유도derivation? [[증명,proof]] Hilbert_system proof_system 등등
• 소수,prime_number
       이것은 20세기에 가까워져서 [[증명,proof]]되어 [[정리,theorem]]가 되었다 => 소수정리 prime_number_theorem PNT
• 수학,math
       [[증명,proof]]
• 수학적귀납법,mathematical_induction
       수학적 [[귀납,induction]]법을 쓴 [[증명,proof]]법
• 연역,deduction
       [[증명,proof]]
• 정리,theorem
       [[공리,axiom]]와 [[정의,definition]]에서 이끌어 낸, 참으로 [[증명,proof]]된, 수학적 사실.
       [[명제,proposition]] // ''정리와의 관계는 [[증명,proof]]페이지를 보면: ‘증명된 명제 중 자주 사용되며 기본이 되는 것들이 정리.’''
       [[이론,theory]] // 영단어가 비슷, 뜻도 관련, 혹시 둘의 [[어원,etymology]]은 관련이 있나? 암튼 둘 다 (현재까지 밝혀진 바로는/현재의 [[과학,science]] [[패러다임,paradigm]] 아래서/....) [[사실,fact]]/[[진리,truth]]로 간주되는 그런 건데, ● '''정리'''는 좀 일화적이고 짧은 것이고 하나의 [[진술,statement]]/[[문장,sentence]]/[[명제,proposition]]에 [[대응,correspondence]]되며(물론 그 [[증명,proof]]은 매우 길 수 있다), ● 이론은 보통 종합적인 학문 분야(study? discipline?)의 일부분, 여러 정리들을 포함한, 정도의 뜻인데(chk, 내생각)... TODO cmp.
        Up: [[정리,theorem]] [[증명,proof]]
• 증명,proof
       [[명제,proposition]]를 '''증명'''하는(prove) 것 ('''증명,proof'''을 작성하는 것)의 차이를 비교서술...
       Up: [[증명,proof]] [[이론,theory]] -> [[증명이론,proof_theory]] or [[증명론,proof_theory]] / [[의미론,semantics]]?
       Up: [[증명,proof]] [[이론,theory]]
       이것은 새로운 사실을 [[증명,proof]]하는 과정.
• 하텍_Notes
       명제 x와 그 명제가 정리임을 보여주는 [[증명,proof]] y가 주어질 때
• 형식체계,formal_system
       [[formal_proof]] - [[증명,proof]]

You can also click here to search title.