1. Topics ¶
derivation_rule =,derivation_rule =,derivation_rule . derivation_rule
{
derivation rule
2. MKLINK ¶
논리,logic
수리논리,mathematical_logic
수학,math
증명,proof
proof_mining = proof_unwinding - wr, Curr.
Proof_mining proof.mining
명제,proposition
정리,theorem
메타정리,metatheorem =메타정리,metatheorem =,metatheorem 메타정리 metatheorem
{
https://mathworld.wolfram.com/Metatheorem.html
https://en.wikipedia.org/wiki/Metatheorem
...
메타정리 메타정리 메타정리 metatheorem define: metatheorem