机译:纠正:一些限制的Lindenbaum定理等同于首席的公理
机译:一些限制的Lindenbaum定理相当于选择的公理(Vol 1,PG 183,2007)
机译:等效于选择公理的一些受限Lindenbaum定理
机译:关于希尔伯特空间中线性变换的两个基本定理的证明,无需使用选择公理
机译:选择公理和标准族的乘积定理之间的等价机器证明
机译:完备定理和计算机程序,用于寻找从给定轴可推导的定理
机译:SOD定律:法律原理公理定理假说ETC等的汇编。治理人类状况
机译:集合论公理和选择公理的等价物