AKA '''증명론''' (수백) // [[증명론,proof_theory]]페이지 새로 만들거나 rename할까? [[Date(2023-11-12T09:45:06)]]

<<tableofcontents>>
= Topics =
[[derivation]] =,derivation =,derivation . derivation
{
[[WtEn:derivation]] = https://en.wiktionary.org/wiki/derivation
KmsE:derivation
NdEn:derivation
https://en.wikipedia.org/wiki/Derivation

[[derivation_rule]] =,derivation_rule =,derivation_rule . derivation_rule
{
'''derivation rule'''

[[WtEn:derivation_rule]] = https://en.wiktionary.org/wiki/derivation_rule # x [[Date(2023-11-12T09:34:44)]]

https://encyclopediaofmath.org/wiki/Derivation_rule

...
"derivation rule"
Ggl:"derivation rule"
Ndict:"derivation rule"

Up: [[,derivation]] [[규칙,rule]]
}

https://encyclopediaofmath.org/wiki/Derived_rule
 모든 derived_rule 은 sound_rule ## https://encyclopediaofmath.org/wiki/Sound_rule ## soundness ?
 하지만 sound rule이라고 derived rule은 아니다. 
 예를 들어 propositional_calculus 에서 substitution_rule 은 ## https://encyclopediaofmath.org/wiki/Substitution_rule ## [[치환,substitution]] [[규칙,rule]] ?
 sound_rule 이지만 derived_rule 은 아님.

Cmp:
https://encyclopediaofmath.org/wiki/Deducible_rule

Up: [[증명,proof]] / [[증명이론,proof_theory]] , logic [[로직,logic]] [[논리,logic]] [[논리학,logic]] , [[칼큘러스,calculus]]
}
 
= MKLINK =
[[논리,logic]]
[[수리논리,mathematical_logic]]
[[수학,math]]
[[증명,proof]]
[[proof_mining]] = proof_unwinding - wr, Curr. WpEn:Proof_mining Ggl:proof.mining
[[명제,proposition]]
[[정리,theorem]]
[[메타정리,metatheorem]] =메타정리,metatheorem =,metatheorem 메타정리 metatheorem
{
https://mathworld.wolfram.com/Metatheorem.html
https://en.wikipedia.org/wiki/Metatheorem
...
Ggl:메타정리 Ndict:메타정리 Naver:메타정리 Ndict:metatheorem Ggl:"define: metatheorem"

rel. [[메타이론,metatheory]] - [[이론,theory]]
=메타이론,metatheory =,metatheory 메타이론 metatheory
{
https://ko.wikipedia.org/wiki/메타이론
 [[Date(2023-11-12T09:45:06)]] 현재 short "메타이론(metatheory)은 이론을 대상으로 하는 이론이다. 모든 연구분야의 이론들은 메타이론을 공유한다. 공유되는 메타이론이 명확하거나 정확한지는 상관없다. ''(? 모호)'' 좀 더 제한되고 구체적인 의미로는, 수학^^[[수학,math]]^^과 수리논리학^^[[mathematical_logic]]^^에서 알 수 있다. 즉, 메타이론은 다른 수리 모델(수학적 [[이론,theory]]^^([[mathematical_theory]]?)^^)에 대한 수리 모델^^[[mathematical_model]]?^^이다."
https://mathworld.wolfram.com/Metatheory.html
https://en.wikipedia.org/wiki/Metatheory
https://ja.wikipedia.org/wiki/メタ理論
Up: [[이론,theory]] [[메타수학,metamathematics]]? [[메타,meta]]

... Ndict:메타이론 Naver:메타이론 Ggl:메타이론 Ndict:metatheory Ggl:"define: metatheory"
}

Up: [[정리,theorem]] [[메타수학,metamathematics]]? [[메타,meta]]
}

----
Twins:
https://mathworld.wolfram.com/ProofTheory.html - ''aka [[메타수학,metamathematics]]''
[[WpKo:증명_이론]] = https://ko.wikipedia.org/wiki/증명_이론
[[https://terms.naver.com/entry.naver?docId=5668917&cid=60207&categoryId=60207 수학백과: 증명론]]
https://encyclopediaofmath.org/wiki/Proof_theory

Up: [[수리논리,mathematical_logic]] [[증명,proof]] [[이론,theory]]