Mathematical Logic with Special Reference to the Natural Num