Radi se o tome da odvlačiš temu na druga pitanja dok prethodno nije raspravljeno. Čim ti odgovoriš na moje, odgovaram ja na tvoja (koja su kasnije postavljena).
Možda se nismo razumeli. Možda ti misliš da se u nekom od koraka primenjuje neki stav ZFC koji nije dokaziv u ZF, a ne AC direktno (što je za mene sve jedno isto - primena AC direktno ili kroz nešto drugo). OK, hajmo ovako:
Koji korak ONOG dokaza ne prolazi u ZF?
Je li pitanje sada jasnije?