十条公理，
一段爱情。

每条公理都在构建"我 — r@D — 你"的一部分。左侧是直觉主义逻辑如何看这条公理，中间是 @D 算子在这一步做了什么，右侧是纤维丛和线性代数的实际计算。