User blog comment:LittlePeng9/FOOT is not as strong as I thought/@comment-172.58.105.131-20170211000506/@comment-35470197-20200208151521

@Reinhardt-C

It is irrelevant to Berry's paradox, because it is Tarski's paradox.

Also, it is nonsense to argue on the strength on set theories without specifying axioms. Weak second order set theories are weaker than strong first order set theories in some sense.