MATH
Login Or Sign up

List Question

15
759
Views

On the notion of set equality.

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

Why is ZFC the foundational theory of mathematics?

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

A question on primitive notions.

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

Good sources on the construction of mathematical definitions?

Published on
#definition #foundations
184
Views

Is this a proper recursive ordinal notation for ordinals < $\omega^2$?

Published on
#examples-counterexamples #recursion #computability #ordinals #foundations
122
Views

What exactly are Classes?

Published on
#set-theory #foundations
191
Views

Definition of structure and satisfaction on Set theory(ZFC).

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

Why not Hierarchy theory rather than ZFC be the foundation of sets and mathematics?

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

Equivalence or Isomorphism of Types

Published on
#foundations #type-theory #automated-theorem-proving
107
Views

Would mathematics based on lists obviate the need for the axiom of choice?

Published on
#axiom-of-choice #foundations #alternative-set-theories
165
Views

Set Theory internal to other foundational systems

Published on
#logic #soft-question #set-theory #foundations
203
Views

Meta-logic of Hilbert-style propositional calculus

Published on
#logic #propositional-calculus #axioms #foundations #metalogic
103
Views

What do Logicians mean by a set?

Published on
#logic #set-theory #first-order-logic #foundations
3.7k
Views

What is the mathematical symbol for "nothing"?

Published on
#notation #foundations
186
Views

Is the following provable in Zermelo–Fraenkel Set Theory?

Published on
#elementary-set-theory #logic #axioms #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.