Idea. Forcing [006N]
Idea. Forcing [006N]
Forcing is a technique that makes it possible to prove independence results, particularly about ZFC.
Forcing is a technique that makes it possible to prove independence results, particularly about ZFC.