公理的集合論
新基礎集合論を参照。
特に集合論においては、必要に応じて追加の公理が課せられる場合がある。そのようなものは追加される公理を適当な記号で表して ZFC+I (到達不能基数の存在を仮定する場合) や ZFC+GCH (一般連続体仮説の場合) のように表記される。