Chwistek L. and Hetper W.. New foundation of formal metamathematics. The journal of symbolic logic, vol. 3 (1938), pp. 1–36.