2009._Visser:_Can_we_make_the_Second_Incompleteness_Theorem_coordinate_free?