1 Table of Contents: “..., intuition, and convention -- Some of Julius König’s mathematical dreams in his New Foundations of Logic...”