特修斯之船

巴拉孟干

在知乎上看过些人论证过。我比较喜欢这个解释：
初始步奏：原始特修斯之船具有性质「是特修斯之船」。
归纳步奏：如果一个对象具有性质「是特修斯之船」，那么这个对象就算少了一个原子也具有性质「是特修斯之船」。
因此，根据数学归纳法，
一个特修斯之船上的铁原子具有性质「是特修斯之船」。