兼納模型定理(generic model theorem)是關於力迫法的重要命題，該命題為證明集合論外加公理的相容性與獨立性提供了一個統計—模式。
兼納模型定理(generic model theorem)關於力迫法的重要命題.它給出了兼納擴充的存在性條件.設M為ZF<C)系統的可傳模型，(P,鎮)為M中的偏序集(參見“力迫概念”>,GcP為M上的屍兼納集，則存在一個可傳模型M[G]，使:
1. M[G]為ZF(C)系統的模型.
2. McM[G]且GEM[G].
3.M與M[G]具有相同的序數.
4.若N為ZF(C)系統的可傳模型，使McN,GEN，則M[G]c夕.
兼納模型定理為證明集合論外加公理的相容性與獨立性提供了一個統計—模式.比如:若欲證明命題A與ZF(C)系統相容，只須選擇適當的力迫概念屍及兼納集G，使屍與G滿足兼納模型定理中的條件，且使A在M[G]中成立，即可得出A與ZF(C)系統相容，而不必再逐一驗證ZF(C)系統每條公理在M[G]中的可滿足性.
