Logic, set theory, point-set topology, formal mathematics
Reserved space to show newly added information.
To follow.