MATH
Login Or Sign up

List Question

15
146
Views

undecidable problems in Euclidean geometry

Published on
#logic #euclidean-geometry #axioms
98
Views

Is parameter free definability consistent with ZF?

Published on
#set-theory #axioms
28
Views

Examining (semi-) random structures?

Published on
#soft-question #axioms
172
Views

How to draw Axiom of Continuity : $\exists c \in\mathbb{R} :\forall a \in A, \forall b \in B \implies a \leq c \leq b$

Published on
#real-analysis #calculus #real-numbers #axioms
120
Views

What is the proof of Replacement in iterating functions over the empty set?

Published on
#set-theory #axioms #alternative-set-theories
149
Views

Name of these lemmas in set theory

Published on
#elementary-set-theory #logic #axioms #philosophy
46
Views

Is this replacement sentence consistent with Z? If so what's its consistency strength over Z + Ranks?

Published on
#set-theory #first-order-logic #axioms
119
Views

complete axiomatization of reals vs we can't prove every statement about the reals vs every statement about the real numbers is either true or false

Published on
#soft-question #axioms
143
Views

Does Gödel's incompleteness theorems imply there are infinitely many axioms in mathematics?

Published on
#logic #first-order-logic #axioms #foundations #incompleteness
53
Views

What's the effect of changing the ordinal index of ranks to Scott ordinals, on the consistency strength of Zermelo + Ranks + Ordinals?

Published on
#set-theory #axioms
115
Views

Gödel's proof: What if all axioms of a formal system are Gödel sentences

Published on
#logic #axioms #philosophy #incompleteness #higher-order-logic
97
Views

What does the parameter $p$ refer to in this context?

Published on
#logic #set-theory #propositional-calculus #axioms
62
Views

Is ZF equivalent to every subhierarchy coming from below being a set, over Zermelo + Ranks?

Published on
#set-theory #axioms
128
Views

How to more formally express the axioms of hyperbolic geometry?

Published on
#notation #hyperbolic-geometry #axioms
170
Views

Is there a prove that every unprovable proof, provable unprovable?

Published on
#logic #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.