Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

  7. current community

    your communities

    more stack exchange communities

    company blog
Mathematics
Meta user
Network profile
2,000
reputation
1
7
22

lemontree

Apparently, this user prefers to keep an air of mystery about them.

80
answers
6
questions
~27k
people reached

Communities (5)

Top network posts

Top tags (34)

Score 62
Posts 57
Posts % 66
Score 33
Posts 14
Score 21
Posts 26
Score 20
Posts 6
Score 19
Posts 7
Score 18
Posts 19
View all tags →

Top posts (86) All Questions Answers | Votes Newest

13 Is this conception of countable vs. uncountable infinity adequate? Jan 1 '17
12 Is there a non-standard set theory that makes use of a null element? Dec 9 '16
12 Why is $\{\emptyset\} \not = \emptyset$? Oct 3 '16
11 “Modus moron” rule of inference? Mar 8 '17
4 If $2=2$, then “some apples are green” Sep 19 '16
4 Commutative quantifiers Mar 12
3 What's the difference between predicate logic and model theory? Mar 3
3 Do two empty sets have any elements in common? Sep 26 '16
3 Syntactic proof that Peirce's law doesn't hold in simply-typed lambda calculus Mar 21
3 Natural deduction proof: $A \vee (B \wedge C) ├ (A \vee B) \wedge (A \vee C)$ Apr 24
View all questions and answers →

Badges (30)

Gold

1

Rarest

Silver

7

Rarest

Bronze

22

Rarest

View all badges →