TY - RPRT TI - Hilbert's Sixth Problem and Soft Logic AU - Moshe Klein AU - Oren Fivel PY - 2026 UR - https://arxiv.org/abs/2603.29969 ID - 2603.29969 ER -