CHARACTERIZING THE ROBUSTNESS OF SCIENCE - IRIS

... ZFC is said to be independent from ZFC if is both ? and its negation are consistent with it (i.e. there model of both ?ZFC + ?? and ?ZFC + ¬??). See Kunen.


Un extrait du document