Fusible numbers and Peano Arithmetic

Jeff Erickson, Gabriel Nivasch, Junyan Xu

Inspired by a mathematical riddle involving fuses, we define the "fusible numbers" as follows: $0$ is fusible, and whenever $x,y$ are fusible with $|y-x|<1$, the number $(x+y+1)/2$…