MATH
Login Or Sign up

List Question

15
157
Views

Vector spaces without additive inverses

Published on
#abstract-algebra #vector-spaces #axioms #semigroups
98
Views

Confused about the consistency of ZFC

Published on
#logic #first-order-logic #axioms
88
Views

Scope of Quantified Variables in the Axiom of Separation in ZF

Published on
#elementary-set-theory #set-theory #first-order-logic #axioms
549
Views

What exactly is the distinction between a theory and model in model theory if models are themselves constructed in axiomatic theories?

Published on
#logic #model-theory #axioms
66
Views

Does $-1×-1=1$ in any ordered field?

Published on
#abstract-algebra #field-theory #axioms
131
Views

Is the Axiom of Extensionality needed in predicate logic without equality?

Published on
#set-theory #predicate-logic #axioms
221
Views

Axioms for vector space and affine space under the same system and notation

Published on
#linear-algebra #vector-spaces #axioms #affine-geometry
81
Views

How to prove that if $a,b$ are positive reals then also $ab$?

Published on
#algebra-precalculus #axioms
157
Views

Why lines and planes as primitive notions?

Published on
#geometry #euclidean-geometry #axioms #philosophy #axiomatic-geometry
509
Views

Is conditional probability axiomatic?

Published on
#probability-theory #conditional-probability #math-history #axioms
23
Views

A restriction on defining set in subset axiom

Published on
#set-theory #axioms
167
Views

How to find a 'set' after knowing the axioms of ZFC?

Published on
#logic #axioms
96
Views

Proving $n\not\in n$ for $n\in\mathbb N$ without regularity

Published on
#set-theory #axioms #foundations
103
Views

Is it allowed that an axiom can be provable from the first order logic?

Published on
#logic #set-theory #axioms
178
Views

Formal proof that $\vdash (\varphi \rightarrow \psi) \rightarrow (\neg \varphi \lor \psi)$.

Published on
#axioms #formal-proofs #hilbert-calculus

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.