Ackermann-halmazelmélet
From Wikipedia, the free encyclopedia
Az Ackermann-halmazelmélet (rövidítés: A) egy alternatív halmazelmélet, amelyet Wilhelm Ackermann dolgozott ki és publikált 1956-ban.[1] Ackermann axiómarendszere később a standard Zermelo-Fraenkel halmazelmélet konzervatív kiterjesztésének bizonyult.[2] Az A elmélet osztályrealista, vagyis a Neumann–Bernays–Gödel-halmazelmélethez (NBG) hasonlóan megengedi kötött osztályváltozók használatát.