因为这个问题背后是对 Leibniz Equality 的理解。可惜大部分老师一辈子也意识不到 equality 的概念是需要定义和教学的。 例如： 当我们说5=5时，这里的等号指的是左右字面上相同；当我们说s(4)=5时指的是5的定义是4的后继（一般都是这么定义的），这种相等称为definition equality； 当我们说3+2=5时，指的是加法运算，要通过运算的定义对加号进行展开和reduction，经过一系列的连等式从3+2推到5，这种相等称为computation equal…

本文将带你探索，从星辰大海到你我身边的碳的足迹，在一场场 碳的循环当中寻找答案。 本文正文约5670字，你将用20分钟的时间，与 碳元素一起游历46亿年的地球。 碳，这个在元素周期表中，排列第六位的化学元素，无所不在、举足轻重。惊艳世界的 喀斯特地貌由碳构成， ▼ 大地之上的 万物生灵由碳构成， ▼ 见证古代文明进程的 木质建筑由碳构成，请横屏观看 ▼ 推动近现代文明高速发展的化石燃料，亦由碳构成。 ▼ 无可置疑，这是一…