找到2个数据集

标签: FAP猜想

过滤结果

  • AHXIOM框架下F_A_P猜想形式化证明数据集

    2025年12月23日 30 157 127

    数据集概述 本数据集是AHXIOM框架下F=A+P猜想的形式化证明文档，包含证明的核心步骤、逻辑符号定义、运算符说明及AHXIOM系统内的验证过程，围绕猜想的假设、断言、接受和准入四阶段展开，为理解该猜想的逻辑结构提供支持。 文件详解 文件名称: Conjetura F=A+P_ Demostración Formal en AHXIOM...
    packageimg

  • AHXIOM_Based_2025_统一理论SSS逻辑体系完整文档数据

    2025年12月6日 30 135 44

    数据集概述 本数据集为AHXIOM统一理论手册，包含AHXIOM理论的核心公理、关键定义、“非数”形式化、与ΩTPI几何的关系、F=A+P猜想及符号体系，以语义、句法、符号（SSS）一致性为原则，还涵盖其对其他理论的贡献。 文件详解 文件名称：Libreta AHXIOM Unificada 2025 01 - 6_Ene_2025.pdf...
    packageimg