순서공리,order_axiom - 이미있는페이지 순서공리 - axiom of order ? - rel. 순서,order
선택공리,choice_axiom axiom of choice, AoC
분리공리? separation_axiom
귀납공리,induction_axiom - 귀납,induction - curr at 귀납,induction
{
귀납,induction 공리,axiom

귀납,induction - 귀납,induction
수학적귀납법,mathematical_induction - 수학적귀납법,mathematical_induction

https://mathworld.wolfram.com/InductionAxiom.html
https://encyclopediaofmath.org/wiki/Induction_axiom

... 귀납공리 귀납공리
}

completeness_axiom =,completeness_axiom =,completeness_axiom . completeness_axiom
{
완비성공리 ?

실수,real_number
완비성,completeness

completeness_axiom
... completeness.axiom completeness axiom 완비성공리 완비성공리
}

확률공리 =,probability_axiom =,probability_axiom . probability_axiom
{

by 안드레이 콜모고로프 ?

probability axioms

확률,probability

수학백과: 공리적 확률에서 설명함.

https://en.wikipedia.org/wiki/Probability_axioms

확률공리
probability axioms
확률공리
"probability axioms"
}

Playfair_axiom =,Playfair_axiom =,Playfair_axiom . Playfair_axiom
{
geometry에서 parallel_postulate관련

Playfair's_axiom
playfair axiom
}

확률공리,probability_axiom =확률공리,probability_axiom =,probability_axiom 확률공리 probability_axiom
{
확률공리

확률,probability
probability_axiom
axiom_of_probability ?
axiom of probability ?
https://www.google.com/search?q=Axiom of probability
하면
Probability_axioms = https://en.wikipedia.org/wiki/Probability_axioms
} // 확률공리

countability_axiom =,countability_axiom =,countability_axiom . countability_axiom
{
가산성공리 ?
axiom of countability
axiom_of_countability
axiom_of_countability = https://en.wiktionary.org/wiki/axiom_of_countability x 2023-09-07

mkl countability(curr . 가산집합)
Axiom_of_countability = https://en.wikipedia.org/wiki/Axiom_of_countability

axiom of countability
axiom of countability
"axiom of countability"
}

ADDHERE........

공리계,axiomatic_system ... 보다는 공리체계,axiomatic_system =,axiomatic_system 공리체계 axiomatic_system (KMS)
{
공리적 체계 ?
공리계
axiomatic

Sub:
categorical_axiomatic_system
페아노_공리계 Peano_axiomatic_system ? Peano_axioms ?
Z공리계 ?

ZF공리계 ZF_axiomatic_system ?
ZFC공리계 ZFC_axiomatic_system ?
NBG공리계
NBG공리체계
MK공리계
MK공리체계
... zfc nbg mk

...

Twin

AxiomaticSystem
= https://mathworld.wolfram.com/AxiomaticSystem.html

https://www.gabormelli.com/RKB/Axiomatic_System

Up: 공리,axiom system

... 공리계 공리계 axiomatic_system
} // axiomatic system axiomatic system

공리화,axiomatization
{
=공리화,axiomatization =,axiomatization . axiomatization 공리화
axiomatization
axiomatization = https://en.wiktionary.org/wiki/axiomatization
https://en.wikipedia.org/wiki/Axiomatic_system#Axiomatization
... Axiomatization Axiomatization
공리화 pagename due to axiomatization
}

axiom_schema =,axiom_schema =,axiom_schema . axiom_schema (w)
aka axiom_scheme =,axiom_scheme =,axiom_scheme . axiom_scheme (via wt)
{
Twins:
https://foldoc.org/axiom schema
https://mathworld.wolfram.com/AxiomSchema.html
https://en.wikipedia.org/wiki/Axiom_schema
https://en.wikipedia.org/wiki/Axiom_schema

Semi-twins:
https://planetmath.org/logicalaxiom 에서 "Any such a set of axioms is called an" 검색
… https://www.google.com/search?q=axiom schema
}

axiomatic_set_theory

....

공준,postulate이라는 용어도 있고 옛날엔 axiom과 구분했지만 요새는 별로 구분하지 않는다는 걸 본 기억이 있는데... 암튼 compare.

같은 단어 고유명사 액시엄,Axiom
{
Axiom Maths Program - Martin Baker
https://www.euclideanspace.com/prog/scratchpad/axiom/index.htm

}

https://artofproblemsolving.com/wiki/index.php/Axiom
https://mathworld.wolfram.com/Axiom.html

https://en.wikipedia.org/wiki/Category:Mathematical_axioms
https://www.proofwiki.org/wiki/Category:Axioms