Metoda działania: modele boole’owskie Poniżej przedstawione zostało, w formie szkicu, omówienie jednego ze sposobów wprowadzania i interpretacji forsingu. Wywody te nie są ani kompletne, ani całkowicie poprawne – ze względu na jasność ekspozycji trzeba było zrezygnować z części szczegółów technicznychCzytelnika zainteresowanego głębszym zrozumieniem tej tematyki odsyłamy do książki Wojciecha Guzickiego i Pawła Zbierskiego (Guzicki, Wojciech; Paweł Zbierski: Podstawy teorii mnogości. Państwowe Wydawnictwo Naukowe, Warszawa, 1978) lub monografii Thomasa Jecha (Thomas Jech: Set theory. The third millennium edition. „Springer Monographs in Mathematics”. Springer-Verlag, Berlin, 2003. )..
W przypadku, gdy dokonuje się wartościowania zdań rachunku kwantyfikatorów, używanie dwóch wartości logicznych nie jest owocne. Jeśli jesteśmy zainteresowani zdaniami języka (pierwszego rzędu) teorii mnogości, to możemy wartościować zdania w pewnej algebrze Boole’a.