Célunk olyan kényszerképzetek konstruálása, melyek bizonyos tulajdonságú topológiák véges approximációiból állnak. Egy tipikus probléma: konstruáljunk M1 S-teret. Technikai nehézségei ellenére a módszer gyakran használt a halmazelméletben topologikus terek konstuálására olyan esetekben, ahol a ZFC megoldás lehetősége nem merül fel.