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

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

----
Ndict:증명


https://oeis.org/wiki/Proofs

----
https://en.wikipedia.org/wiki/Elementary_proof
[[Comment]]
----
elementary proof is a mathematical proof that only uses basic techniques. -- [user1] [[DateTime(2023-11-25T19:50:07)]]
----
https://artofproblemsolving.com/wiki/index.php/Proof_writing -- [user1] [[DateTime(2023-11-29T10:13:15)]]
----
impossibility =,impossibility . impossibility
{
불가능성 불능 

WtEn:impossibility

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

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

}//impossibility ...  NN:impossibility Ggl:impossibility
----
https://www.proofwiki.org/wiki/Category:Proofs -- [user1] [[DateTime(2023-12-03T22:16:46)]]
----
tmp video en
Terence Tao, "Machine Assisted Proof" - YouTube
https://www.youtube.com/watch?v=AayZuuDDKP0 -- [user6] [[DateTime(2024-02-24T04:43:02)]]
----
[[형식증명,formal_proof]] =형식증명,formal_proof =,formal_proof 형식증명 formal_proof
formal_proof 형식증명 형식적증명
 '''formal proof'''
 http://www.aistudy.com/logic/formal_proof.htm
 WtEn:formal_proof x 2024-04
 WpEn:Formal_proof
 Ggl:"formal proof" NN:"formal proof"