MATH
Login Or Sign up

List Question

15
205
Views

Logic for category theory

Published on
#logic #category-theory #first-order-logic #foundations
430
Views

Understanding the natural numbers and Peano's axioms

Published on
#logic #set-theory #foundations #philosophy #peano-axioms
57
Views

Is the category of all groups large

Published on
#logic #category-theory #set-theory #foundations
443
Views

Peano axioms vs set construction of natural numbers

Published on
#foundations #natural-numbers
57
Views

what is the order of the logic and the multi-sortedness of the structures required for rigorous math in ...

Published on
#logic #foundations #higher-order-logic
635
Views

ZF and Peano axioms

Published on
#set-theory #foundations
368
Views

Costs and benefits of using non-well-founded set theories instead of ZFC, or ZFC instead of non-well-founded set theories?

Published on
#set-theory #foundations #alternative-set-theories
457
Views

What formula of ZFC defines the set of natural numbers?

Published on
#logic #model-theory #foundations #natural-numbers
174
Views

Dynamic and Static Sets

Published on
#set-theory #foundations
122
Views

What is the reason for the existence of real numbers? Is it an artifact/side effect of our thought process?

Published on
#real-numbers #math-history #rational-numbers #foundations
891
Views

Importance of completeness axiom in real analysis

Published on
#real-analysis #cauchy-sequences #foundations
87
Views

How can I prove the following list is a list of all the injective maps $f:\{1,2,3\}\to\{1,2,3,4\}$ rigorously? (Munkres "Topology 2nd Edition")

Published on
#functions #elementary-set-theory #foundations
111
Views

Peano axioms set theory

Published on
#set-theory #arithmetic #axioms #foundations #peano-axioms
155
Views

Are there infinitely many proofs of every true mathematical statement?

Published on
#foundations #philosophy
97
Views

What is the "Hilbert-Bernays-Gödel axiomatic system"?

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