Peano surface

朱塞佩·皮亞諾（義大利語：Giuseppe Peano，義大利語發音：[dʒuˈzɛppe peˈaːno]；1858年8月27日—1932年4月20日）是義大利數學家、邏輯學家、語言學家。 朱塞佩·皮亞諾於1858年8月27日生於義大利薩丁尼亞王國的庫內奧附近的斯皮内塔（義大利語：Spinetta

S-expressions can be defined by a set of formal inductive axioms analogous to the Peano postulates used to define natural numbers.  John McCarthy. History of Lisp