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 [...]. 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
Answer
primitives
Question
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 [...]. 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
Answer
?
Question
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 [...]. 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
Answer
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 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
Original toplevel document (pdf)
cannot see any pdfs
Summary
status
not learned
measured difficulty
37% [default]
last interval [days]
repetition number in this series
0
memorised on
scheduled repetition
scheduled repetition interval
last repetition or drill
Details
No repetitions
Discussion
Do you want to join discussion? Click here to log in or create user.