Do you want BuboFlash to help you learning these things? Or do you want to add or correct something? Click here to log in or create user.

at the beginning of our exposition there must be mathematical words or symbols which we do not define in terms of others but merely take as given: they are called primitives. And proof must start somewhere, just as definition must. If we are to avoid an infinite regress, there must be some propositions that are not proved but can be used in the proofs of the theorems. Such propositions are called axioms
If you want to change selection, open document below and click on "Move attachment"


cannot see any pdfs


statusnot read reprioritisations
last reprioritisation on suggested re-reading day
started reading on finished reading on



Do you want to join discussion? Click here to log in or create user.