A Formal Background to Mathematics: Logic, Sets and Numbers by Robert Edwards
English | PDF | 1979 | 968 Pages | ISBN : 038790431X | 41.8 MB
§1 Faced by the questions mentioned in the Preface I was prompted to write this book on the assumption that a typical reader will have certain characteristics. He will presumably be familiar with conventional accounts of certain portions of mathematics and with many so-called mathematical statements, some of which (the theorems) he will know (either because he has himself studied and digested a proof or because he accepts the authority of others) to be true, and others of which he will know (by the same token) to be false.