by Stephen G. Simpson
Through a series of case studies, this volume examines these axioms to prove particular theorems in core mathematical areas.