Below you will find pages that utilize the taxonomy term “first order logic”

Posts

# Interpretation of Mathematics

$$\def\mathblue#1{\colorbox{blue}{$#1$}} \def\mathgreen#1{\colorbox{green}{$#1$}} \def\mathred#1{\colorbox{red}{$#1$}} \def\mathhl#1{\colorbox{Orchid}{$#1$}} \def\lequiv{\fallingdotseq}$$ $\def\lequiv{\fallingdotseq}$
What mathematics describes is a long standing issue in philosophy. It is hard to break into this subject, but I hope that my intent can be shared.
Since I am a mathemtics student who is interested in formal systems, I can’t help to feel nervous when my professor says
$A$ is a subset of $B$ if for all $x$, $x\in B$ whenever $x \in A$,

read more