Are all statements about math inherently formal? Can one do math without formal logic?
42517
Is formal truth in mathematical logic a generalization of everyday, intuitive truth?
103342
Why should we care about syntactic proofs if we can show semantically that statements are true?
30481
How to avoid perceived circularity when defining a formal language?
86248
Is $\exists x(x=a)$ a valid formula in first order logic with equality?
145466
Is this a valid mathematical proof?
78566
Is mathematics considered a science
101512
Is there an numeric arithmetic with a single operator?
67321
What is the intended difference between MathOverflow and Mathematics?
100378
Are there "All" and "Any" functions in Mathematica?
97187
In what formal system is Godel's Incompleteness Theorem (or similar statements of undecidability) proven?
116776
Opposite of "infinitesimal"
74546
Negating A Mathematical Statement
89938
Is the Formula Logically Valid?
46613
What's the difference between $\equiv$ and $\leftrightarrow$ in a formal proof?
50804
It seems obvious, but how to prove it formally?
33705
Is $0$ a natural number?
27360
How to differentiate formally?