Из наследия C. А. Яновской, Физико-математическое наследие: математика (основания математики и логика)