$$\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$,