Mathematical logic for L2