Jump to content

Wholeness axiom

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by R.e.b. (talk | contribs) at 18:05, 5 February 2017 (→‎top: Expanding article). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

In mathematics, the wholeness axiom is a strong axiom of set theory. introduced by Corazza (2000).

Statement

The wholeness axiom states roughly that there is an elementary embedding j from the universe V to itself. This has to be stated carefully to avoid Kunen's theorem stating (roughly) that no such embedding exists.