Skip to main content
Tour
About Us
Meta
Loading…
current community
Stack Exchange
chat
Meta Stack Exchange
your communities
Sign up
or
log in
to customize your list.
more stack exchange communities
company blog
Log in
Stack Exchange
All Sites
Top 400 Users
Digests
Daniels Krimans
Los Angeles, CA, USA
Graduate student in physics at UCLA.
top
accounts
reputation
activity
subscriptions
Top Questions
14
votes
Set theoretic concepts in first order logic
logic
first-order-logic
foundations
philosophy
asked Apr 4, 2018 at 6:33
math.stackexchange.com
8
votes
Choosing formal system for mathematics
logic
philosophy
asked Nov 26, 2018 at 3:44
math.stackexchange.com
7
votes
Book request for first order logic
reference-request
first-order-logic
book-recommendation
asked Mar 20, 2018 at 16:57
math.stackexchange.com
7
votes
If there is a linear function $g$ which is at least as good of an approximation as any other linear $h$, then $f$ is differentiable at $x_0$.
real-analysis
multivariable-calculus
derivatives
asked Jul 29, 2020 at 1:54
math.stackexchange.com
7
votes
Change of domain of a function to change variable in the limit
calculus
limits
limits-without-lhopital
asked Feb 18, 2017 at 11:47
math.stackexchange.com
6
votes
Convincing yourself about choice of axioms for predicate calculus
logic
intuition
predicate-logic
asked Feb 22, 2019 at 2:02
math.stackexchange.com
5
votes
Showing propositional logic is consistent
logic
propositional-calculus
asked Mar 14, 2018 at 13:32
math.stackexchange.com
5
votes
Finite axiomatization of first order logic theories
logic
first-order-logic
asked Aug 30, 2018 at 18:19
math.stackexchange.com
5
votes
Necessity of universal quantifier in predicate calculus
logic
first-order-logic
predicate-logic
quantifiers
asked Oct 2, 2018 at 20:18
math.stackexchange.com
Top Answers
No answers with score of 5 or more
Stack Exchange works best with JavaScript enabled