Zur Widerspruchsfreiheit einer typenfreien Logik. K. Schütte (1952/53) Mathematische Annalen Similarity: