亞力山卓·帕多阿
亞力山卓・帕多阿（Alessandro Padoa，1868 年 10 月 14 日 - 1937 年 11 月 25 日）是一位義大利數學家暨邏輯學家。他因為給出一個方法，能在一定形式理論下，決定一個新的基本概念是否獨立於其他基本概念而留名。這在公理化理論中有個類似的問題，即確定一個給定的公理是否獨立於其他公理。
在皮亞諾傳記裡有一段在描述帕多阿的職涯：

他在威尼斯上中學、在帕多瓦上工業學校，就讀於都靈大學，並於 1895 年在此獲得數學學位。雖然他從來沒有當過皮亞諾的學生，但他是個狂熱的信徒，並從 1896 年開始，成為皮亞諾的研究夥伴與朋友。他在皮內羅洛、羅馬與卡利亞里，以及（自 1919 年後）在熱那亞的理工學院教過書。他亦任職過阿奎萊亞的師範學校與熱那亞的海軍學校，並於 1898 年開始，在布魯塞爾、帕維亞、伯爾尼、帕多瓦、卡利亞裡及熱那亞等地的大學開過一系統講座。他在巴黎、劍橋、利沃諾、帕爾馬、帕多瓦、博洛尼亞等地的哲學與數學大會上發表過論文。1934 年，他被義大利猞猁之眼國家科學院授予數學公使獎。1900 年的巴黎大會尤其著名。帕多阿在這些大會上的演講因為他對數學現代公理化方法清晰而不雜亂的闡述而聞名。實際上，他被認為是「第一個…… 完全知悉那些已定義或未定義概念的人。」