In 1967 Reinhardt proposed Reinhardt cardinals though they are not known to be inconsistent with ZF .
Reinhardt cardinals kunen showed to be inconsistent with ZFC in 1971 .
In 1967 Reinhardt proposed Reinhardt cardinals , which Kunen showed to be inconsistent with ZFC in 1971 , though they are not known to be inconsistent with ZF .