abk's user avatar
abk's user avatar
abk's user avatar
abk
  • Member for 8 years, 9 months
  • Last seen more than a month ago
6 votes
2 answers
1k views

What is the purpose of axiomatic systems?

5 votes
2 answers
2k views

Confused about incompleteness of rational numbers

5 votes
2 answers
3k views

What does existence of the Real numbers mean?

4 votes
3 answers
828 views

Dedekind definition of completeness of real numbers

4 votes
0 answers
90 views

What is the usefulness of second order logic?

3 votes
2 answers
1k views

How is magnitude defined in Euclid's elements?

3 votes
0 answers
77 views

Do different constructions of real numbers provide a model for the axiomatic system of the real numbers?

2 votes
0 answers
106 views

What did the ratio of two magnitude of the same kind mean to the Ancient Greek (AG) mathematicians?

1 vote
0 answers
82 views

Alternative proof for Dini's theorem

0 votes
1 answer
125 views

Is truth table an axiom of propositional logic?

0 votes
1 answer
65 views

Prove $g(A \cap B) \subseteq g(A) \cap g(B)$ and $g^{-1}(A \cap B) = g^{-1}(A) \cap g^{-1}(B)$