Search Results
| Search type | Search syntax |
|---|---|
| Tags | [tag] |
| Exact | "words here" |
| Author |
user:1234 user:me (yours) |
| Score |
score:3 (3+) score:0 (none) |
| Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
| Views | views:250 |
| Code | code:"if (foo != bar)" |
| Sections |
title:apples body:"apples oranges" |
| URL | url:"*.example.com" |
| Saves | in:saves |
| Status |
closed:yes duplicate:no migrated:no wiki:no |
| Types |
is:question is:answer |
| Exclude |
-[tag] -apples |
| For more details on advanced search visit our help page | |
Results tagged with metamathematics
Search options answers only
not deleted
user 2926
the mathematical discipline that applies mathematical methods to the study of mathematical theories themselves.
25
votes
Don't the axioms of set theory implicitly assume numbers?
It seems that Deniz is raising a slightly uncomfortable question of whether some circularity is built into mathematical foundations. A similar common-sense circularity is what might be called the "par …
- 53.3k
2
votes
Embedding Theorem for topological spaces, and in general
Every $T_0$ space is, in a canonical way, a subspace of an algebraic lattice equipped with its Scott topology. Some details can be found in this nLab article.
I'm not quite sure what to do with the …
- 53.3k