Hacker News new | ask | show | jobs
by danharaj 2377 days ago
Start with Forcing

https://ncatlab.org/nlab/show/forcing

https://en.wikipedia.org/wiki/Forcing_(mathematics)