あんた等的には、
>標準的なZFCの公理（つまり、Zermelo-Fraenkelの九種類の公理に選択公理を加えたもの）
みたいな書き方はトンデモな訳だね。
何となれば定式化の仕方によって公理がいくつかなんて幾らでも変わるから。