Outline of mathematical logic