Тимашев Д. А. - Структура групп и алгебр Ли - Комплексификация и вещественные формы. Теорема Ли
Аксиомы и постулаты Евклида в современном изложении
«Совершенно ясное и строгое понимание дедуктивных схем пришло лишь в начале XX столетия. В основном это заслуга великого немецкого математика Гильберта. В несколько огрублённой и упрощённой форме дело обстоит примерно так...