I solved the problem of formalization of constitutions in set theory, I mean the original/ideal/natural form and scope of them (not the formalization of existing constitutions like [1] or [2]). It is a kind of Archimedean fixed point, a set theoretical place to stand, but we will not move the whole world. On the contrary: we shall put it into an order, into the natural order of free and equivalent persons. I started to publish my results on the site of the Metamath theorem prover [1]). I want to find some programmers/engineers to help with this.
[1] https://archives.gov/founding-docs/constitution-transcript