Jensen, A. (1965) “Some Results Concerning a General Set Theoretical Approach to Logic”., MATHEMATICA SCANDINAVICA, 16, pp. 5–24. doi: 10.7146/math.scand.a-10742.