Simultaneous / blended develop logic and set theory?
48684
Does mathematics become circular at the bottom? What is at the bottom of mathematics?
5840
divides, not divides and cardinalities
108922
Cardinality and infinite sets: naturals, integers, rationals, bijections
91698
Proofs of consistency for two formal systems
18287
Distinction between equality, logical equivalence and biconditionality.
111797
Without computers, how can you conjecture the (in)validity of a long convoluted argument in Predicate Logic?
114642
There is/are for multiple subjects
25553
elementary set theory (cartesian product and symmetric difference proof)
2334
Best book on axiomatic set theory.
51170
Evaluation of Differentiation and Integration
30968
Is it possible that every set can be specified?
104550
Countable union of countable sets(ZF)
129062
Distinguishing definitions from equivalences.
150451
Logic soundness and completeness
21938
describing all possible topologies on a set
32081
The dual version of trichotomy of cardinality without AC
12539
Set Theory: Equivalency of Axiom of Choice and Choice Function