MATH
Login Or Sign up

List Question

15
70
Views

Are the naturals really a subset of the real numbers?

Published on
#set-theory #axioms #foundations #peano-axioms #meta-math
103
Views

Model Theory in Van Dalen

Published on
#logic #first-order-logic #model-theory #foundations
161
Views

Doubts on sets in logic

Published on
#logic #set-theory #foundations
60
Views

Is there a mereological system treating both parts and wholes?

Published on
#logic #foundations
434
Views

What is the difference between "Peano arithmetic," "second-order arithmetic," and "second-order Peano arithmetic?"

Published on
#logic #axioms #foundations #peano-axioms #reverse-math
38
Views

Heyting's Definition of Spreads and Species

Published on
#foundations #philosophy
73
Views

Is it consistent with $\sf ZF-Fnd$ that no class whose union is the whole universe can be well-ordered?

Published on
#set-theory #foundations
210
Views

Tao Real analysis: question on function definition (should it be an axiom?)

Published on
#logic #axioms #foundations
149
Views

Does separation + reflection prove ZF - extensionality - foundation?

Published on
#logic #set-theory #axioms #foundations #alternative-set-theories
85
Views

Constructing a sequence up to infinity

Published on
#logic #set-theory #first-order-logic #foundations
189
Views

How does one begin to build mathematical logic?

Published on
#logic #set-theory #first-order-logic #foundations
144
Views

Histories in Scott-Potter set theory

Published on
#set-theory #foundations #philosophy
90
Views

Definition of $x^a$

Published on
#calculus #foundations
614
Views

Why do we not avoid the phrase "if we assume AC " and take it as granted?

Published on
#soft-question #set-theory #axiom-of-choice #foundations #descriptive-set-theory
123
Views

Q. Is there a formal definition of the word "rigorous"?

Published on
#definition #foundations #formal-proofs

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.