How to precisely identify & work greedy or reluctant quantifiers?
57154
SCJP6 regex issue
47697
Russell's paradox: a set cannot contain its own powerset
79407
How to solve ~(P → Q) : P & ~Q by natural deduction?
125811
Recognizing special cases of a defined function for permuted arguments
46430
A simple decision problem whose decidability is not known
72391
linear dependence proof using subsets
14564
Formulating a negatively-expressed question
55199
Number Theory in a Choice-less World
9493
While proving a universal quantification, we begin by "Let ... in ..." or "Arbitrary choose ..."?
127105
Determining a tricky limit
96904
Predicate Calculus Practice
72185
The negation of a limit condition, Spivak style.
10598
Contrapositive Fitch Proof
64896
Dealing with non-integral powers on negative numbers
84890
Extremising a functional with conditions
32950
Fake induction proofs
38624
Finding a tricky limit