Gerðu flóknari útgáfu af setningunni John von Neumann rannsakaði eiginleika hóps jöfnuðra sem gera þversagnakennd sundurliðun mögulega og kynnti hugtakið um aðgengilega hópa.
Auðvitað er flóknari útgáfa setningarinnar "John von Neumann rannsakaði eiginleika hóps jöfnunar sem gera þversagnakennd niðurdrátt mögulegt, að greina bekkinn af viðunandi hópum, sem engin þversagnakennd niðurdráttur er til".