Israeli mathematician whose work in mathematical logic and the mathematics of semantics has contributed greatly to the fields of logic and metalogic (logical systems that encompass other, lower-level logical systems). Shelah's most important work deals with advanced concepts in semantics and the science of concepts.