従属選択公理
数学において、従属選択公理(; formula_1と略される)とは、選択公理(formula_2)の弱い形で、しかし実解析の大部分を行うのに十分な公理である。これはパウル・ベルナイスによって1942年の、解析学を実行するのに必要な集合論的公理を検討する逆数学の論文で導入された。