#noindex <> = Sub = == 분류정리 classification theorem == [[분류정리,classification_theorem]] =분류정리,classification_theorem =,classification_theorem 분류정리 classification_theorem { 분류정리 classification theorem [[WtEn:classification_theorem]] = [[WpEn:Classification_theorem]] = https://en.wikipedia.org/wiki/Classification_theorem Ndict:분류정리 Ggl:분류정리 Ggl:"classification theorem" Up: [[분류,classification]] ?? } == 표현정리 representation theorem == [[표현정리,representation_theorem]] =표현정리,representation_theorem =,representation_theorem 표현정리 representation_theorem { 표현정리 representation theorem WtEn:representation_theorem = [[WpEn:Representation_theorem]] = https://en.wikipedia.org/wiki/Representation_theorem Ndict:표현정리 Ggl:표현정리 Ggl:"representation theorem" [[표현,representation]] } == 클레로 정리 Clairaut theorem == [[클레로_정리,Clairaut_theorem]] - 미적분학 == unique readability theorem (URT) == [[unique_readability_theorem]] =,unique_readability_theorem =,unique_readability_theorem . unique_readability_theorem (writing) { [[명제논리,propositional_logic]](curr [[VG:명제논리,propositional_logic]])에서 unique readability theorem (URT) 은 임의의 [[적형식,wff]]에 대한 정리. (curr at 적형식) wff의 의미(meaning / 뜻 / semantics / ...?)의 [[유일성,uniqueness]]에 대한 [[정리,theorem]]? WtEn:unique_readability_theorem WpEn:unique_readability_theorem } == Smn theorem == Smn_theorem 이거 pagename 뭐가 적당하지? { S,,mn,, theorem ? S^^m^^,,n,, theorem ?? https://everything2.com/title/Smn+Theorem aka [[반복정리,iteration_theorem]] Ggl:"Smn theorem" } == 피타고라스 정리 Pythagorean theorem == [[피타고라스_정리,Pythagorean_theorem]] - w WtEn:Pythagorean_theorem [[WpKo:피타고라스_정리]] WpSp:Pythagorean_theorem WpEn:Pythagorean_theorem = MKLINK = '''정리'''는 (참임이) [[증명,proof]]된 [[명제proposition]]([[VG:명제,proposition]])임. 비교: [[규칙,rule]] [[법칙,law]] [[원리,principle]] [[명제,proposition]] { WtEn:proposition } [[보조정리,lemma]] [[따름정리,corollary]] [[공리,axiom]] [[공준,postulate]] ... ---- [[VG:정리,theorem]]