Ordered field consequence proof
17515
Why is negative times negative = positive?
72371
Proof of Strong Induction Using Well-Ordering Principle
138279
Multiplicative order and powers
74377
Is the natural order relation on an idempotent semiring total/linear?
108957
Cardinality of a totally ordered union
120522
Showing any countable, dense, linear ordering is isomorphic to a subset of $\mathbb{Q}$
66636
Problems with introducing ordered pairs axiomatically
16384
Proving a result in a given field
89637
Proof that in a field $x=0$ is equivalent to $x=-x$
140682
Proving a property of a Logic Formal Language
91861
Propositional Logic: p → q, ¬p → r, ¬q → ¬r ⊢ q
107281
Proof of Existence of Algebraic Closure: Too simple to be true?
140868
Axiomatization of $\mathbb{Z}$ via well-ordering of positives.
125950
Proof strategy involving first order logic for existential quantification at very beginning
79725
Fields of arbitrary cardinality
67089
Complete ordered field
96748
Formal deductions on Hilbert system