Combining Texts

Ideas for 'fragments/reports', 'Higher-Order Logic' and 'Ancient Thought in Modern Physics'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts

---

1 idea

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / j. Axiom of Choice IX

10301	The axiom of choice is controversial, but it could be replaced [Shapiro]
	Full Idea: The axiom of choice has a troubled history, but is now standard in mathematics. It could be replaced with a principle of comprehension for functions), or one could omit the variables ranging over functions.
	From: Stewart Shapiro (Higher-Order Logic [2001], n 3)