FOM: Re: aksiom of constructibility

Karlis Podnieks podnieks at
Wed Feb 16 10:49:31 EST 2000

Perhaps, some people do not like V=L as an axiom because - as a
formula in the language of set theory - it is "far too long".
Indeed, the full form of V=L contains thousands of characters
(according to the results of my first computer program in 1975).
Could we find a shorter equivalent of V=L?

Karlis Podnieks,

More information about the FOM mailing list