forsing

Forsing (forcing) – metoda dowodzenia niesprzeczności i niezależności zdań teorii mnogości względem aksjomatów Zermela-Fraenkla. Forsing to jedna z metod używanych w matematyce do ścisłego udowodnienia, że pewnych stwierdzeń nie można ani udowodnić, ani obalić (ten ostatni termin oznacza udowodnienie zaprzeczenia). Polska terminologia w teorii forsingu nie jest jednoznacznie ustalona, chociaż polskojęzyczni matematycy mieli (i mają) wkład w rozwój tej teorii. Angielskie zwroty forcing i forcing relation tłumaczone są jako forsing, forcing, wymuszanie oraz relacja forsingu, relacja forcingu lub relacja wymuszania. W tym artykule zastosowano fonetyczną interpretację nazewnictwa angielskiego.