bigomba kuba bimeze kimwe hatirengagijwe no gukomeza kurwanya uburiganya aczel's anti foundation axiom implies there is a unique quine atom