#noindex <> = Sub = == 기본정리 fundamental theorem == 각 분야별로 있음. "기본정리 fundamental theorem" Ggl:"기본정리 fundamental theorem" Naver:"기본정리 fundamental theorem" Bing:"기본정리 fundamental theorem" ... Ggl:"list of fundamental theorems" === 산술의 기본정리 === 산술의 기본정리 FTA [[산술,arithmetic]] [[자연수,natural_number]] [[소수,prime_number]] [[곱셈,multiplication]] 표현의 유일성을, [[소인수분해,prime_factorization]]가 존재하고 유일함을([[존재성,existence]] [[유일성,uniqueness]]) ... (수백) Twin [[https://terms.naver.com/entry.naver?docId=3340632&cid=60207&categoryId=60207 수학백과: 산술의 기본정리]] https://oeis.org/wiki/Fundamental_theorem_of_arithmetic "산술의 기본정리" Ndict:"산술의 기본정리" Ggl:"산술의 기본정리" // curr [[VG:산술%2Carithmetic#s-5.1]] === 대수학의 기본정리 === 대수학의 기본정리 FTA [[대수학의기본정리,fundamental_theorem_of_algebra,FTA]] ? - mentioned at VG [[앨지브라,algebra]] - [[대수,algebra]] or [[대수학,algebra]] ex. 이차방정식 $x^2+1=0$ 은 [[실근]]을 갖지 않지만, [[해,solution]]의 범위를 복소수 집합으로 확장하면 근을 두 개 갖는다. 일반화하면 일반적으로 > 모든 $n$ 차 방정식은 복소수 영역에서 $n$ 개의 근을 갖는다. MKL [[근,root]] [[다항식,polynomial]] [[방정식,equation]] // 이 둘을 합한 [[다항방정식]] / [[polynomial_equation]] / [[다항방정식,polynomial_equation]] ? WtEn:polynomial_equation [[https://terms.naver.com/entry.naver?docId=3574277&cid=58944&categoryId=58970 수학산책: 대수학의 기본 정리]] [[https://terms.naver.com/entry.naver?docId=4125228&cid=60207&categoryId=60207 수학백과: 대수학의 기본정리]] "대수학의 기본정리" ... Ndict:"대수학의 기본정리" Ggl:"대수학의 기본정리" "fundamental theorem of algebra" ... Ggl:"fundamental theorem of algebra" === 미적분의 기본정리 === 미적분의 기본정리 [[미적분,calculus]] [[미분,differentiation]] [[적분,integration]]이 서로 역연산임을 말하는? chk [[https://terms.naver.com/entry.naver?docId=3338338&cid=47324&categoryId=47324 수학백과: 미적분의 기본정리]] "미적분의 기본정리" Ndict:"미적분의 기본정리" Ggl:"미적분의 기본정리" === 기본정리는여기에추가 === === 기본정리는여기에추가 === === 기본정리는여기에추가 === == 분류정리 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]] = https://en.wiktionary.org/wiki/representation_theorem [[WpEn:Representation_theorem]] = https://en.wikipedia.org/wiki/Representation_theorem Ndict:표현정리 Ggl:표현정리 Ggl:"representation theorem" Bing:"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 == 다항정리 multinomial theorem == [[다항정리,multinomial_theorem]] == 메타정리 metatheorem == [[메타정리,metatheorem]] curr at [[증명이론%2Cproof_theory?action=highlight&value=메타정리%2Cmetatheorem]] == ADDHERE == == ADDHERE == == ADDHERE == == ADDHERE == = MKLINK = '''정리'''는 (참임이) [[증명,proof]]된 [[명제proposition]]([[VG:명제,proposition]])임. 비교: [[규칙,rule]] [[법칙,law]] [[원리,principle]] [[명제,proposition]] { WtEn:proposition } [[보조정리,lemma]] [[따름정리,corollary]] [[공리,axiom]] [[공준,postulate]] ... ---- [[VG:정리,theorem]] https://oeis.org/wiki/Theorems "'''Theorems''' are important mathematical statements^^[[진술,statement]]^^ having valid^^[[validity]]{ KmsE:validity Ndict:validity Ggl:validity }^^ proofs^^[[증명,proof]]^^."