亚力山卓·帕多阿（Alessandro Padoa，1868年10月14日 - 1937年11月25日）是一位义大利数学家暨逻辑学家。他因为给出一个方法，能在一定形式理论下，决定一个新的基本概念是否独立于其他基本概念而留名。这在公理化理论中有个类似的问题，即确定一个给定的公理是否独立于其他公理。在皮亚诺传记里有一段在描述帕多阿的职涯：1900年的巴黎大会尤其着名。帕多阿在这些大会上的演讲因为他对数学现代公理化方法清晰而不杂乱的阐述而闻名。实际上，他被认为是「第一个……完全知悉那些已定义或未定义概念的