Formal background to mathematics 2b - Edwards R E (1980)