馬丁公理 在數學的集合論中馬丁公理Martins axiom是一個由唐纳德A馬丁英语Donald A Martin和羅伯特M梭羅維英语Robert M Solovay引進的公理這公理獨立於慣常的帶有選擇公理的策梅洛弗蘭克爾集合論ZFC這公理在連續統假設成立的狀況下成立但也與否定連續統假設的ZFC公理系統相容 用較不正式的講法馬丁公理講的是任何小於連續統 c displaystyle mathfrak c 的基數其行為會與 ℵ  displaystyle aleph  大體類似這公理背後的想法可藉由研究羅修娃西葛斯基引理的證明得知而這是用以控制特定力迫論證的其中一個原則