MATH
Login Or Sign up

List Question

15
173
Views

Can all math be done with axioms of length 3 or less?

Published on
#axioms #foundations
153
Views

How does the Axiom of Regularity apply to $A=\{1,2,3\}$?

Published on
#elementary-set-theory #foundations
114
Views

On the meaning of the Axiom Of Regularity in terms of " repeatedly taking the union" .

Published on
#soft-question #set-theory #axioms #foundations
87
Views

Is every math statement exponential in worst-case to prove?

Published on
#solution-verification #computational-complexity #axioms #foundations #np-complete
106
Views

Single-sorted (arrows-only) definition of infinity-category

Published on
#category-theory #foundations #higher-category-theory
77
Views

Purely geometric derivation of the circle surface

Published on
#calculus #euclidean-geometry #coordinate-systems #foundations #philosophy
320
Views

How is self-reference usually handled in math?

Published on
#logic #axioms #foundations
305
Views

What is the Turing degree of the set of true formula of Second Order Arithmetic?

Published on
#logic #ordinals #foundations #reverse-math
134
Views

Mathematical object described irrespective of a foundational system?

Published on
#logic #category-theory #set-theory #foundations #type-theory
92
Views

What is the Turing degree of the set of True formula of Arithmetic whose order is an infinite ordinal

Published on
#logic #ordinals #foundations #transfinite-recursion #reverse-math
365
Views

Concise list of ZFC Axioms for beginners

Published on
#set-theory #foundations
47
Views

Prove Trichotomy and Multiplicative Ordering for Integers

Published on
#analysis #elementary-set-theory #solution-verification #foundations
179
Views

Are the axioms of ZFC set theory considered to be synthetic?

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

Foundation of mathematics for engineers

Published on
#logic #foundations
94
Views

Is there a set in ZFC that can not be obtained from Ordinals

Published on
#set-theory #ordinals #foundations

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.