JJRAM JJRAM
今生有缘,何必来生
关注数: 6 粉丝数: 2,234 发帖数: 3,209 关注贴吧数: 22
转自35谢蛋疼-证明凹凸曼的存在 公理 1: 一个性质是肯定的当且仅当它的否定是否定的. Axiom 1: Ifa property is positive, then itsnegation is not positive. Pos( ψ)?「Pos(「ψ)公理2: 一个性质是肯定的, 如果它必然蕴涵一个肯定性质. Axiom2: Any property entailed by —i.e., strictly implied by — apositive property is positive. □?x{[φ(x)→ψ(x)]∧Pos(φ)}→Pos(ψ)定理1: 一个肯定性质是逻辑上一致的(可能有某个实例). Theorem1: If a property is positive, then itis consistent, i.e., possiblyexemplified. Pos( φ)→◇?x φ(x)定义1: 某物是类奥特曼的当且仅当它具备所有的肯定性质.Definition 1: x is God-like iff x hasas essential properties those andonly those properties which arepositive. G(x )??φ[Pos(φ)→φ(x)]公理3: “是类奥特曼的”是一个肯定性质. Axiom 3: The propertyof being God-like is positive. Pos(G)推论 1: “是类奥特曼的”是一致的(可能有某个实例, 即奥特曼可能存在) Corollary 1: The propertyof being God-like is consistent.◇? x G(x)公理4: 一个肯定性质是必然肯定的. Axiom 4: If a property ispositive, then it is necessarilypositive. Pos( φ)→□Pos(φ)定义2: 性质 φ 是 x 的本质当且仅当 x 是 ψ 并且 φ 蕴涵 ψ.Definition 2: φ is an essence of xiff for every property ψ, x has ψnecessarily iff φ entails ψ. φ ess x?φ(x)∧?ψ{ψ(x)→□?x[φ(x)→ψ(x)]}
首页 1 2 3 下一页