בתשובה לאורי גוראל גורביץ', 03/02/09 22:05
סתם תהיה 503346
מה זה "relatively* consistent*"?
סתם תהיה 503354
For many interesting axiom systems, one cannot proving consistency, because that would imply consistency of ZFC (which cannot be proved, assuming it's true). Therefore one can only prove relative consistency, i.e. that the system is consistent assuming ZFC is consistent.
סתם תהיה 503355
סתם תהיה 503356
תודה:)

חזרה לעמוד הראשי המאמר המלא

מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים