"I can't figure out what this paragraph means --..."

https://arbital.com/p/8x2

by Kevin Van Horn Dec 27 2017


Even more surprisingly, when we have complex systems of "$~$A$~$ is true if $~$B$~$ is provable and $~$C$~$ is not provable" plus "$~$C$~$ is true if it's provable that the consistency of $~$\\mathcal T$~$ implies $~$B$~$ and $~$D$~$" etcetera, we can compute exactly what is and isn't provable in polynomial time\.

I can't figure out what this paragraph means -- I have no idea what the "et cetera" could be. I'm wondering if "when we have complex systems of…" should be "when we have complex systems such as…"