1. Sub ¶

1.1. 분류정리 classification theorem ¶

분류정리,classification_theorem =분류정리,classification_theorem =,classification_theorem 분류정리 classification_theorem
{
분류정리
classification theorem

classification_theorem
=

Classification_theorem
= https://en.wikipedia.org/wiki/Classification_theorem

분류정리 분류정리
classification theorem

Up: 분류,classification ??
}

1.2. 표현정리 representation theorem ¶

표현정리,representation_theorem =표현정리,representation_theorem =,representation_theorem 표현정리 representation_theorem
{
표현정리
representation theorem

representation_theorem = https://en.wiktionary.org/wiki/representation_theorem

Representation_theorem = https://en.wikipedia.org/wiki/Representation_theorem

표현정리
표현정리
representation theorem
representation theorem

표현,representation
}

1.3. 클레로 정리 Clairaut theorem ¶

1.4. unique readability theorem (URT) ¶

unique_readability_theorem =,unique_readability_theorem =,unique_readability_theorem . unique_readability_theorem (writing)
{
명제논리,propositional_logic(curr 명제논리,propositional_logic)에서
unique readability theorem (URT)
은 임의의 적형식,wff에 대한 정리. (curr at 적형식)

wff의 의미(meaning / 뜻 / semantics / ...?)의 유일성,uniqueness에 대한 정리,theorem?

unique_readability_theorem

unique_readability_theorem

}

1.5. Smn theorem ¶

Smn_theorem 이거 pagename 뭐가 적당하지?
{
S_mn theorem ?
S^m_n theorem ??

https://everything2.com/title/Smn Theorem

aka 반복정리,iteration_theorem

Smn theorem
}

1.6. 피타고라스 정리 Pythagorean theorem ¶

피타고라스_정리,Pythagorean_theorem - w
Pythagorean_theorem
피타고라스_정리
Pythagorean_theorem
Pythagorean_theorem

1.7. 다항정리 multinomial theorem ¶

1.8. 메타정리 metatheorem ¶

1.9. ADDHERE ¶

1.10. ADDHERE ¶

1.11. ADDHERE ¶

1.12. ADDHERE ¶

2. MKLINK ¶

정리는 (참임이) 증명,proof된 명제proposition(명제,proposition)임.

비교:
규칙,rule
법칙,law
원리,principle
명제,proposition { proposition }
보조정리,lemma
따름정리,corollary
공리,axiom
공준,postulate
...

---

정리,theorem

https://oeis.org/wiki/Theorems

"Theorems are important mathematical statements^{진술,statement} having valid^{validity{ validity validity validity }} proofs^증명,proof."