MATH
Login Or Sign up

List Question

15
2.7k
Views

Is there a language that definitely won't have inconsistencies

Published on
#logic #axioms
67
Views

How to Use Generalization Axiom in Predicate Logic

Published on
#logic #solution-verification #first-order-logic #predicate-logic #axioms
542
Views

On The Role of The Axiom of Specification

Published on
#elementary-set-theory #set-theory #axioms
193
Views

What does Tao mean by "same type"?

Published on
#terminology #axioms
146
Views

Are the two versions of the axiom of replacement equivalent?

Published on
#analysis #logic #set-theory #axioms
76
Views

Infinitary logic positive set theory

Published on
#logic #set-theory #axioms #alternative-set-theories
62
Views

Confusion on the scalar multiplication identity of the vector space.

Published on
#linear-algebra #vector-spaces #axioms
40
Views

Does the statement "A set doesn't contain itself" implies the regularity axiom?

Published on
#set-theory #axioms
52
Views

properties of equality: real vs. complex numbers

Published on
#terminology #axioms
61
Views

Is the extensionality axiom constructive?

Published on
#set-theory #axioms
88
Views

Why is one of the properties of vector spaces that it has a zero vector?

Published on
#linear-algebra #axioms
167
Views

Why are logical equality axioms about variables and not terms?

Published on
#first-order-logic #axioms
135
Views

Is there a tangible countable model of set theory

Published on
#set-theory #model-theory #axioms
35
Views

Is it possible to axiomatize classical logic with only two meta-variables?

Published on
#propositional-calculus #axioms #metalogic
493
Views

Functions that cannot be written as functional formulas and the axiom of replacement

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