Este axioma se conoce como el axioma GL, por Gödel-Löb.