查询结果
力迫法
lì pò fǎ
ㄌㄧˋ ㄆㄛˋ ㄈㄚˇ
「力迫法」是什么意思？
更新 2026-07-10 15:29:41
- 拼音字母li po fa
- 首字母lpf
- 注音符号ㄌㄧ ㄆㄛ ㄈㄚ
扩展释义
力迫法是公理集合论研究中构造扩充模型的一种重要方法，它是科恩在1963年证明连续统假设的独立性（实际是证明连续统假设的否定与ZF公理的协调性）而创立的。它从一种可构成模型M和相应的形式语言L出发使用附加于L的一组形式符号作为待定的ω子集簇G，获得L的一扩充语言L*，从而利用在M中建立的力迫关系确定非特殊的集合的集合簇G，然后从G出发，使用M的构造过程中确定的运算和相应的迭代过程获得模型M(G)。科恩运用力迫法证明选择公理和连续统假设的相对独立性，接着人们利用力迫法证明了一大批重要的数学命题的协调性和独立性问题。1965年沙拉维和斯考特等人又把这一方法和布尔值模型方法相结合获得力迫法的较为方便的...
拆字组词
相关词语
- 云南鞭角寄蝇查含义
- 于尚民查含义
- 以往查含义
- 华星查含义
- 副热带查含义
- 原子钟查含义
- 叶文静查含义
- 合肥市建委查含义
- 四川圣达查含义
- 哥斯达查含义
- 国球查含义
- 好好先生查含义
- 头脑发热查含义
- 封租查含义
- 尹珊查含义
- 展频查含义
- 张海凤查含义
- 广生路查含义
- 弹性地基梁查含义
- 徐检查含义
- 惊兆查含义
- 情报处理查含义
- 机关房查含义
- 欧华查含义
- 气铲查含义
- 毛沟镇查含义
- 獭祭查含义
- 磁盘空间查含义
- 组合盆栽查含义
- 胶莱河查含义
- 胡文传查含义
- 重庆酒家查含义
- 酒井若菜查含义
- 郭存查含义
- 防撞钢梁查含义
- 铜脚威灵仙查含义
- 圣司提反查含义
- 只想要你查含义
- 爱尔兰梗查含义
- 咖喱炖米饭查含义
- 生血枸杞叶粥查含义
- 法国抵抗运动查含义
- 土钒织纹螺查含义
- 牛蒡蛴螬查含义
- 妞妞鱼查含义
- 肩角芋螺查含义
- 卡特兰白粉虱查含义
- 全阿片素查含义
- 樗鸡膏查含义
- 做六度查含义