The axiom of foundation established that every set can be constructed from the bottom up in an ordered succession of steps by way of the principles of Zermelo and Fraenkel, in such a manner that if one set belongs to another then the first must necessarily come before the second in the succession, hence excluding the possibility of a set belonging to itself. What is the method to demonstrate that no contradictions were created by the addition of axiom of foundation?