Logo
Uniópédia
Kommunikáció
Szerezd meg: Google Play
Új! Töltse Uniópédia az Android™ készülék!
Letöltés
Gyorsabb hozzáférés, mint a böngésző!
 

Extenzionalitási axióma

Index Extenzionalitási axióma

Az extenzionalitási axióma (röviden: extenzionalitás; olykor: meghatározottsági axióma) a halmazelméleti axiómarendszerek tipikus axiómája: Általában úgy tartják, hogy ez az axióma fejezi ki a halmazfogalom lényegét: a halmazokat meghatározzák az elemeik.

5 kapcsolatok: Akkor és csak akkor, Axióma, Hajnal András (matematikus), Halmazelmélet, Neumann–Bernays–Gödel-halmazelmélet.

Akkor és csak akkor

#ÁTIRÁNYÍTÁS Bikondicionális Kategória:Matematikai terminológia.

Új!!: Extenzionalitási axióma és Akkor és csak akkor · Többet látni »

Axióma

Az axióma olyan kiindulási feltételt jelent (például a filozófia ágaiban, vagy a matematikában), amelyet adottnak veszünk az érvelések során.

Új!!: Extenzionalitási axióma és Axióma · Többet látni »

Hajnal András (matematikus)

Hajnal András (Budapest, 1931. május 13. – Budapest, 2016. július 30.) magyar matematikus, egyetemi tanár, a Magyar Tudományos Akadémia rendes tagja volt.

Új!!: Extenzionalitási axióma és Hajnal András (matematikus) · Többet látni »

Halmazelmélet

A halmazelmélet - a matematikai logikával együtt - a matematika legalapvetőbb tudományága, mely a halmaz fogalmát tanulmányozza.

Új!!: Extenzionalitási axióma és Halmazelmélet · Többet látni »

Neumann–Bernays–Gödel-halmazelmélet

A Neumann–Bernays–Gödel-halmazelmélet (rövidítve: NBG) a matematika egy nagy jelentőségű formális-axiomatikus rendszere, mely a halmazelméletet kívánja egy, a Zermelo–Fraenkel-halmazelmélethez hasonló módon formalizálni.

Új!!: Extenzionalitási axióma és Neumann–Bernays–Gödel-halmazelmélet · Többet látni »

Átirányítja itt:

Extenzionalitás (halmazelmélet), Meghatározottsági axióma.

KimenőBeérkező
Hé! Mi vagyunk a Facebook-on most! »