Complex sentence: Von Neumann proposed the axiom of regularity to exclude non-well-founded sets, but did not include it in his axiom system.
Split into simpler sentences: Von Neumann proposed the axiom of regularity which states that all sets are well-founded. However, he did not adopt the axiom of regularity in his axiom system.