1.7 Математическая логика в своем блеске и великолепии