Alle Probleme die das infin. ax. mit sich bringt sind schon im Satze „(∃x) x = x” zu lösen!