Question
at the beginning of our exposition there must be mathematical words or symbols which we do not deﬁne in terms of others but merely take as given: they are called [...]. And proof must start somewhere, just as deﬁnition must. If we are to avoid an inﬁnite 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
primitives

Question
at the beginning of our exposition there must be mathematical words or symbols which we do not deﬁne in terms of others but merely take as given: they are called [...]. And proof must start somewhere, just as deﬁnition must. If we are to avoid an inﬁnite 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
?

Question
at the beginning of our exposition there must be mathematical words or symbols which we do not deﬁne in terms of others but merely take as given: they are called [...]. And proof must start somewhere, just as deﬁnition must. If we are to avoid an inﬁnite 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
primitives
If you want to change selection, open original toplevel document below and click on "Move attachment"

#### Parent (intermediate) annotation

Open it
at the beginning of our exposition there must be mathematical words or symbols which we do not deﬁne in terms of others but merely take as given: they are called primitives. And proof must start somewhere, just as deﬁnition must. If we are to avoid an inﬁnite regress, there must be some propositions that are not proved but can be used in the proofs of the

#### Original toplevel document (pdf)

cannot see any pdfs

#### Summary

status measured difficulty not learned 37% [default] 0

No repetitions