Opis
W roku 1963 Paul Cohen wykazał, że nie da się udowodnić hipotezy Continuum na gruncie aksjomatów ZFC. Dokonał tego, wprowadzając nową technikę zwaną wymuszaniem (forcing), którą przedstawię na plakacie i w ten sposób "zabiję" hipotezę Continuum w jednym modelu. Następnie użyjemy tej samej techniki aby ją "wskrzesić" w innym modelu, dzięki czemu pokażemy, że jest ona niezależna od aksjomatów ZFC.
