同机构人员：

• 皮亚诺
  符号逻辑的先驱和公理化方法的推行人 皮亚诺作为符号逻辑的先驱和公理化方法的推行人而著名。他的工作是独立于J.W.R.戴德金（Dedekind）而做出的。虽然戴德金也曾发表过一篇自然数方面的文章，观点与......