On irredundant sets of postulates

Alonzo Church
1925 Transactions of the American Mathematical Society  
doi:10.1090/s0002-9947-1925-1501316-6 fatcat:cerlag467ngpraxvlc444wybza