MATH
Login Or Sign up

List Question

15
258
Views

Almost universal class

Published on
#logic #set-theory #model-theory #axioms
43
Views

Proof of $(-a)b=(-b)a$ starting from axioms

Published on
#real-analysis #linear-algebra #axioms
55
Views

Axiomatisation of Infinite Series

Published on
#sequences-and-series #axioms
386
Views

Model of ordered plane with the negation of Pasch's axiom

Published on
#geometry #model-theory #axioms #axiomatic-geometry
44
Views

Is there correspondence between vector spaces and independent theories?

Published on
#vector-spaces #axioms #formal-systems
243
Views

Prove that a universal class $V$ is a proper class

Published on
#elementary-set-theory #axioms
61
Views

Transform a totally ordered set to a structure that is isomorphic to (R,+,.,≤)

Published on
#real-numbers #axioms #ordered-fields
403
Views

vector spaces: verify axioms for 1, random variables and 2, power set of a set over {0,1}

Published on
#proof-verification #vector-spaces #random-variables #axioms #vector-fields
47
Views

An introduction book for analysis with the axioms of Tarski

Published on
#real-analysis #real-numbers #book-recommendation #axioms
191
Views

How to study Euclidean geometry from axioms?

Published on
#geometry #euclidean-geometry #axioms #plane-geometry #axiomatic-geometry
73
Views

Creating a 'sequence' of subsets using the subset axiom, then using induction to prove they are all equal

Published on
#induction #set-theory #axioms
227
Views

$\text {dom}(R)$ and $\text {ran}(R)$ exists for any definition of order pair.

Published on
#proof-verification #elementary-set-theory #axioms
260
Views

Associativity axiom expressed in first-order logic with predicates only

Published on
#abstract-algebra #first-order-logic #axioms
82
Views

$\neg (\neg A) \rightarrow A$ part of the axioms of propositional logic?

Published on
#logic #propositional-calculus #axioms #provability
672
Views

What are the base assumptions we make in mathematics?

Published on
#logic #soft-question #axioms

Trending Questions

Popular # Hahtags

second-order-logic numerical-methods puzzle logic probability number-theory winding-number real-analysis integration calculus complex-analysis sequences-and-series proof-writing set-theory functions homotopy-theory elementary-number-theory ordinary-differential-equations circles derivatives game-theory definite-integrals elementary-set-theory limits multivariable-calculus geometry algebraic-number-theory proof-verification partial-derivative algebra-precalculus

Popular Questions

Copyright © 2021 JogjaFile Inc.