Forcing is also one of two methods for proving relative consistency by finitistic methods, the other method being Boolean-valued models.
O forzamento é un dos dous métodos de demostración da consistencia relativa mediante métodos finitísticos, o outro método é o dos modelos de valores booleanos.