３５７は独立でない公理系も使われていることへの反論を
しているのだろうか。話の発端はＺＦも突っ込まれるということ。
すでに突っ込まれてるから９から４になったということでは。
たんにそれを言いたいのではないのか
それに３５８はしつこいよ。生半可な知識を小出しにするなよ
その群の公理の出所教えろ。ほんとうにそれが公理か？