Forsseerimine (matemaatika)
Forsseerimine on hulgateoorias meetod, mille abil konstrueeritakse mudeleid, mida rakendatakse peamiselt suhtelistes kooskõlalisustõestustes. Forsseerimist rakendas esimesena 1963 Paul Cohen, tõestades valikuaksioomi sõltumatuse aksiomaatikast ZF ning kontiinumi hüpoteesi sõltumatuse aksiomaatikatest ZF ja ZFC. Hiljem on Coheni meetodit mitmeti edasi arendatud.