Axioma da regularidade
o axioma que garante que um conjunto não pode ser membro dele mesmo
O axioma da regularidade, também conhecido como axioma da fundação, em teoria dos conjuntos, é o que garante, essencialmente, que um conjunto não pode ser membro dele mesmo (diretamente, como , ou indiretamente, através de uma cadeia de outros conjuntos .
A sua formulação, devida a von Neumann[1] (em 1925), em lógica de primeira ordem é:
Ou seja, todo conjunto que não é o conjunto vazio possui um elemento que é totalmente disjunto dele.
Este é um dos axiomas de Zermelo-Fraenkel, e de outras importantes versões da teoria dos conjuntos. Em versões da teoria dos conjuntos que violam este axioma, os "culpados" são chamados de hiperconjuntos; um exemplo é o átomo de Quine Q = { Q }.
Referências
Ligações externas
🔥 Top keywords: Wikipédia:Página principalEspecial:PesquisarSilvio LuizAntero GrecoWashington RodriguesChatGPTCleópatraMárcia (cantora brasileira)Paulo SoaresYasukeYouTubeNova CaledóniaCandombléCássio RamosEnchentes no Rio Grande do Sul em 2024Verinha DarcyRio Grande do SulPablo MarçalSony ChannelAMBEVCanal BrasilEduardo LeiteFicheiro:Logotipo da GloboNews.pngBrasilDanubio Fútbol ClubSalomãoEslováquiaBaby ReindeerJuraj Cintula16 de maioPaulo PimentaWhatsAppHigh Frequency Active Auroral Research ProgramRobert FicoCopa Libertadores da América de 2024Club BolívarAlma GêmeaCopa Libertadores da AméricaCristiano Ronaldo