请输入您要查询的字词:

 

单词 AxiomOfFoundation
释义

axiom of foundation


The axiom of foundationMathworldPlanetmath (also called the axiom of regularity) is an axiom of ZF set theoryMathworldPlanetmath prohibiting circular sets and sets with infiniteMathworldPlanetmath levels of containment. Intuitively, it that every set can be built up from the empty setMathworldPlanetmath. There are several equivalentMathworldPlanetmathPlanetmathPlanetmathPlanetmathPlanetmath formulations, for instance:

For any nonempty set X there is some yX such that yX=.

For any set X, there is no function f from ω to the transitive closureMathworldPlanetmathPlanetmath of X such that for every n, f(n+1)f(n).

For any formulaMathworldPlanetmathPlanetmath ϕ, if there is any set x such that ϕ(x) then there is some X such that ϕ(X) but there is no yX such that ϕ(y).

Sets which satisfy this axiom are called artinian. It is known that, if ZF without this axiom is consistent, then this axiom does not add any inconsistencies.

One important consequence of this property is that no set can contain itself. For instance, if there were a set X such that XX then we could define a function f(n)=X for all n, which would then have the property that f(n+1)f(n) for all n.

Titleaxiom of foundation
Canonical nameAxiomOfFoundation
Date of creation2013-03-22 13:04:31
Last modified on2013-03-22 13:04:31
OwnerHenry (455)
Last modified byHenry (455)
Numerical id10
AuthorHenry (455)
Entry typeDefinition
Classificationmsc 03C99
Synonymfoundation
Synonymregularity
Synonymaxiom of regularity
Definesartinian
Definesartinian set
Definesartinian sets
随便看

 

数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 19:19:42