MATH
Login Or Sign up

List Question

15
98
Views

Axiom Schema of Separation in ZF and phrasing Russel's Property

Published on
#set-theory #axioms
65
Views

$v_2$ is not substitutable for $v_1$ in $\forall \,v_1\,\forall\,v_2\,Bv_1v_2\to\forall v_2 Bv_2v_2$

Published on
#logic #axioms #substitution
60
Views

Proof of uniqueness of positive cubes

Published on
#real-analysis #general-topology #axioms
335
Views

What elementary theorems depend on the Axiom of Infinity?

Published on
#axioms #foundations
81
Views

How simple it can be?

Published on
#axioms #incompleteness
92
Views

Alternate definition of fields

Published on
#abstract-algebra #group-theory #field-theory #axioms
310
Views

Are there any alternative axioms for Euclidean geometry?

Published on
#euclidean-geometry #axioms
109
Views

Is it true that $0\in 1$?

Published on
#elementary-set-theory #axioms #peano-axioms
40
Views

Does axiom P hold for the set of Rational Polynomials?

Published on
#abstract-algebra #polynomials #axioms
105
Views

Is there a finite axiomatization of Tarski's geometry axioms?

Published on
#geometry #euclidean-geometry #first-order-logic #axioms #axiomatic-geometry
38
Views

How quickly can EFA define things, asymptotically?

Published on
#asymptotics #arithmetic #axioms #elementary-functions #meta-math
582
Views

Exercises and solutions for natural deduction proofs in Robinson and Peano arithmetic

Published on
#logic #reference-request #axioms #peano-axioms #natural-deduction
908
Views

Can we axiomatize a field starting with the binary operations and only “equational” axioms?

Published on
#abstract-algebra #reference-request #field-theory #axioms #universal-algebra
184
Views

Language of an Axiomatic System in the Incompleteness Theorem

Published on
#logic #examples-counterexamples #axioms #incompleteness #formal-systems
3k
Views

Prove addition is commutative using axioms, definitions, and induction

Published on
#real-analysis #proof-verification #axioms #peano-axioms #natural-numbers

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.