亚力山卓·帕多阿(Alessandro Padoa,1868年10月14日 - 1937年11月25日)是一位意大利数学家暨逻辑学家。他因为给出一个方法,能在一定形式理论下,决定一个新的基本概念是否独立于其他基本概念而留名。这在公理化理论中有个类似的问题,即确定一个给定的公理是否独立于其他公理。
在皮亚诺传记里有一段在描述帕多阿的职涯:
1900年的巴黎大会尤其著名。帕多阿在这些大会上的演讲因为他对数学现代公理化方法清晰而不杂乱的阐述而闻名。实际上,他被认为是“第一个……完全知悉那些已定义或未定义概念的人。”
在国际哲学大会上,帕多阿的演讲主题为“任一演绎理论的逻辑引入”(Logical Introduction to Any Deductive Theory)。他说,
帕多阿接着说,
帕多阿在1900年国际数学家大会上的演讲主题为“欧氏几何的新定义系统”。首先,他谈论了几何的基本概念在当时所有的各种选择:
帕多阿以提议与展示他自己发展的几何概念来为演讲作结。特别的是,他展示出他与派埃利以共线点定义出一条线的方法。