Este concepto ha sido posteriormente elaborado en forma axiomática, especialmente por Barry Mazur y Karl Rubin.