Begriffsschift was the first formal notation for second order logic.