ZFA:策梅洛-弗兰克尔公理
策梅洛-弗兰克尔公理(Zermelo-Fraenkel Axiom,常缩写为ZFA)是一组在数理逻辑与集合论中具有基础性作用的数学公理。这一系统为现代数学的严格化提供了重要理论支撑,在学术与科研领域被广泛使用。为便于书写与交流,学者普遍采用其缩写形式ZFA来指代这一公理体系。
Zermelo-Fraenkel Axiom的英文发音
例句
- 在 策梅洛 - 弗兰克尔 的 集合 论 公理 系统 ZF 中 , 基础 公理 把 集合 的 论 域 限制 到 良 基 集合 。
- IntheZermelo-FraenkelsystemZFofsettheory,thefoundationaxiomrestrictsthedomainofsettheorytowell-foundedsets.
本站英语缩略词为个人收集整理,可供非商业用途的复制、使用及分享,但严禁任何形式的采集或批量盗用
若ZFA词条信息存在错误、不当之处或涉及侵权,请及时联系我们处理:675289112@qq.com。