집합,set 이론
Up:
Sub:
Topics:
Sub:
집합의_분할,set_partition
자연수의_분할,integer_partition
// 이 둘은 대비됨
소박한집합론 naive_set_theory https://proofwiki.org/wiki/Definition:Naive_Set_Theory Naive_set_theory Naïve set theory
공리적집합론 axiomatic_set_theory https://proofwiki.org/wiki/Definition:Axiomatic_Set_Theory
// 이 둘도 대비됨.
structural_set_theory https://ncatlab.org/nlab/show/structural set theory ..... 구조적집합론? 구조집합론?
descriptive_set_theory - 작성중
pure_set_theory pure set theory "is a system of set theory in which all elements of sets are themselves sets."(pw) https://proofwiki.org/wiki/Definition:Pure_Set_Theory
ZF집합론 ZF_set_theory
ZFC집합론 ZFC_set_theory
Related:자연수의_분할,integer_partition
// 이 둘은 대비됨
소박한집합론 naive_set_theory https://proofwiki.org/wiki/Definition:Naive_Set_Theory Naive_set_theory Naïve set theory
공리적집합론 axiomatic_set_theory https://proofwiki.org/wiki/Definition:Axiomatic_Set_Theory
// 이 둘도 대비됨.
structural_set_theory https://ncatlab.org/nlab/show/structural set theory ..... 구조적집합론? 구조집합론?
zeroth-order_set_theory https://ncatlab.org/nlab/show/zeroth-order set theory
first-order_set_theory https://ncatlab.org/nlab/show/first-order set theory
higher-order_set_theory https://ncatlab.org/nlab/show/higher-order set theory
material_set_theoryfirst-order_set_theory https://ncatlab.org/nlab/show/first-order set theory
higher-order_set_theory https://ncatlab.org/nlab/show/higher-order set theory
AKA membership-based set theory
ex. ZFC
sub - 순집합? 순수집합? ,pure_set https://ncatlab.org/nlab/show/pure set
https://ncatlab.org/nlab/show/material set theory
see also https://ncatlab.org/nlab/show/material-structural adjunctionex. ZFC
sub - 순집합? 순수집합? ,pure_set https://ncatlab.org/nlab/show/pure set
https://ncatlab.org/nlab/show/material set theory
descriptive_set_theory - 작성중
pure_set_theory pure set theory "is a system of set theory in which all elements of sets are themselves sets."(pw) https://proofwiki.org/wiki/Definition:Pure_Set_Theory
ZF집합론 ZF_set_theory
ZFC집합론 ZFC_set_theory
ZF s.t에 선택공리,choice_axiom을 추가한?
NBG집합론 NBG_set_theoryTopics:
1. 연산 ¶
union
intersection
mutually exclusive or disjoint:
부분집합,subset
complement
교환법칙,commutativity
결합법칙,associativity
분배법칙,distributivity
드모르간_법칙,De_Morgan_law
{
De Morgan's laws
mutually exclusive or disjoint:
complement
{
De Morgan's laws
from (10개의 특강으로 끝내는 수학의 기본 원리)
{
}
{
합집합의 여집합은 여집합들의 교집합이다. | |
교집합의 여집합은 여집합들의 합집합이다. |
3. Bmks en ¶
Twins:
https://encyclopediaofmath.org/wiki/Set_theory
https://everything2.com/title/set theory
https://plato.stanford.edu/entries/set-theory/
SetTheory
수학백과 집합론
집합론
https://en.citizendium.org/wiki/Set_theory
https://planetmath.org/settheory
https://mathworld.wolfram.com/SetTheory.html
https://proofwiki.org/wiki/Definition:Set_Theory
https://ncatlab.org/nlab/show/set theoryhttps://en.citizendium.org/wiki/Set_theory
https://planetmath.org/settheory
https://mathworld.wolfram.com/SetTheory.html
https://proofwiki.org/wiki/Definition:Set_Theory
https://encyclopediaofmath.org/wiki/Set_theory
https://everything2.com/title/set theory
https://plato.stanford.edu/entries/set-theory/
SetTheory
수학백과 집합론
----
- [1] 수학백과: 부정명제의 3.1.