Synthetic compontents of infinite classes of postulates. Pavel Tichy — 1971 Archiv für mathematische Logik und Grundlagenforschung