О математической логике и философии математики (Начальные сведения об основаниях математики)