<<Up
Contents
Zero sharp
0
#
(zero sharp) exists
iff
there exists a non-trivial elementary embedding
j
:
L
→
L
for the constructible Gödel universe
L
.
wikipedia.org
dumped 2003-03-17 with
terodump