 logic: classical |  logic: second-order and higher-order |  model theory |  model theory: first-order |  paradoxes: and contemporary logic |  set theory |  set theory: early development |  set theory: Zermelo’s axiomatization of 