Léon Henkin

• The axiomatic method with special reference to geometry and physics