"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 " is true if is provable and is not provable" plus " is true if it's provable that the consistency of implies and " 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…"