MKL
증명이론,proof_theory or 증명론,proof_theory
증명,proof
merge 논리학,logic#s-9 무위의 증명 무위의 증명
영지식증명 zero-knowledge_proof
추론,inference
추론규칙,inference_rule
추론엔진,inference_engine
연역,deduction
자연연역,natural_deduction
공리,axiom
공준,postulate
명제,proposition는 증명되면 정리,theorem가 됨? chk
추측,conjecture

Sub: 여러가지증명 - 옛날에만든...

증명

https://oeis.org/wiki/Proofs

https://en.wikipedia.org/wiki/Elementary_proof

elementary proof is a mathematical proof that only uses basic techniques. -- user1 2023-11-26 04:50:07

https://artofproblemsolving.com/wiki/index.php/Proof_writing -- user1 2023-11-29 19:13:15

impossibility =,impossibility . impossibility
{
불가능성 불능

impossibility

https://en.wikipedia.org/wiki/Proof_of_impossibility

MKL
불완전성,incompleteness
불완전성정리,incompleteness_theorem
해,solution의 부존재( nonexistence ? nonexistence nonexistence )와 cmp.

}//impossibility ... impossibility impossibility

https://www.proofwiki.org/wiki/Category:Proofs -- user1 2023-12-04 07:16:46

tmp video en
Terence Tao, "Machine Assisted Proof" - YouTube
https://www.youtube.com/watch?v=AayZuuDDKP0 -- user6 2024-02-24 13:43:02

형식증명,formal_proof =형식증명,formal_proof =,formal_proof 형식증명 formal_proof
formal_proof 형식증명 형식적증명

LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
https://leandojo.org/
LLMs as Copilots for Theorem Proving