Metadata
Author: LASER-wikipedia2
Data
English[en]
Forcing is also one of two methods for proving relative consistency by finitistic methods, the other method being Boolean-valued models.
Chinese[zh]
力迫也是利用有窮方法(finitistic method)證明相對一致性的二種方法中的一種,另一個方法是布尔值模型。