Gabriel Nivasch. Fusible numbers and Peano Arithmetic