Mathematical Logic On Numbers, Sets, Structures, and Symmetry