逻辑作为数学和物理学终极起源的严格学术证明 | Synapse