Part Two: Formalization of findings of the Thomistic theodicy about stating the existence of first elements in real-world oriented relations