Libraism的要素
Elements of Librationism
摘要：
我们发展了自由主义，并澄清了一些数学和哲学问题，这些问题涉及到它处理悖论的特殊方式，以及它作为数学和类型自由推理基础的有用性。我们分离出一个控制运算，它与幂集运算不同，不是自相矛盾的，它有助于我们分离出可定义的实数。我们表明，£加上一个假设和一个假设解释ZFC，我们的战略，实现这一目标涉及到扩展的解释哈维弗里德曼的ZF在一个系统弱于ZF与收集减去外延和一个新的概念$librationist \ capture$，这需要收集，规范和选择在所需的上下文中。
英文摘要：
We develop librationism, £, and clarify some mathematical and philosophical matters which relate to the particular manner in which it deals with the paradoxes and to its usefulness as a foundation for mathematics and type free reasoning. We isolate a domination operation which unlike the power set operation is not paradoxical and which helps us isolate the definable real numbers. We show that £ plus a postulate and a postulation interprets ZFC; our strategy for achieving this involves extending an interpretation by Harvey Friedman of ZF in a system weaker than ZF with collection minus extensionality and a novel notion of $librationist \ capture$ which entails collection, specification and choice in desired contexts.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
