What is the best resource for learning set theory definitions?

  • Thread starter Thread starter quddusaliquddus
  • Start date Start date
  • Tags Tags
    Definitions Set
AI Thread Summary
Metamath is recommended as a comprehensive resource for learning set theory definitions and mathematical concepts in terms of sets. The website contains thousands of pages dedicated to these topics, although navigating it can be challenging. Users have found it difficult to locate specific information within the site. Overall, Metamath is acknowledged as a valuable but complex resource for set theory. Exploring this site can significantly enhance understanding of mathematical concepts through the lens of set theory.
quddusaliquddus
Messages
353
Reaction score
3
Hi all :D,
Is there a website or book that has the definitions of most mathematical concepts in terms of sets?

Thanks

Q
 
Physics news on Phys.org
Metamath does.
 
Sorry. But I can't seem to locate it in their webpage.
 
quddusaliquddus said:
Sorry. But I can't seem to locate it in their webpage.

Almost all of the website does that -- it has literally thousands of pages of it. There are probably only a dozen pages on the metamath website other than that.
 

Thread 'Deductive proof in logic formal systems'

I was reading documentation about the soundness and completeness of logic formal systems. Consider the following $$\vdash_S \phi$$ where ##S## is the proof-system making part the formal system and ##\phi## is a wff (well formed formula) of the formal language. Note the blank on left of the turnstile symbol ##\vdash_S##, as far as I can tell it actually represents the empty set. So what does it mean ? I guess it actually means ##\phi## is a theorem of the formal system, i.e. there is a...
View full post »

Similar threads

I May I use set theory to define the number of solutions of polynomials?
Replies
13
Views
2K
I Does the definition of cardinality assume distinguishability?
Replies
9
Views
2K
I Proof request for best linear predictor
Replies
1
Views
2K
Rigorous mathematical definition of sampling
Replies
13
Views
3K
B Is There an Alternative Approach to Learning Pure Math for Beginners?
Replies
3
Views
2K
A Maybe it is not necessary to define set membership?
Replies
13
Views
1K
I How Are Infinite Cartesian Products Interpreted in Set Theory?
Replies
4
Views
2K
A Defining the membership relation in set theory?
Replies
14
Views
5K
I What is the Definition and Understanding of Surjective Functions?
Replies
1
Views
1K
I What is the Definition of a Relation in Set Theory?
Replies
1
Views
1K

Hot Threads

Recent Insights

Back
Top