Your English writing platform
Discover LudwigExact(1)
Hence, the instances of soundness (reflection principle) provable in a system are exactly the ones which concern sentences which are themselves provable in the system.
Similar(59)
Equivalent to the assumption of 1-consistency, or Σ01-soundness, for example, is the Reflection Principle restricted to Σ01-sentences (i.e., the sentence A in the scheme is required to be a Σ01-sentence).
One may therefore view truth theories as reflection principles as they prove soundness statements and add the resources to express these statements.
In Sullivan's words, he "shows no remorse" or "reflection" — but he did show reflection, reflection about the soundness of the system of justice.
Ideas are tested vigorously for their soundness.
Contemplative reflection?
For reflection?
I think it helps with soundness.
The soundness of even niche banks matters.
On reflection: yes.
"There's no reflection".
Write better and faster with AI suggestions while staying true to your unique style.
Since I tried Ludwig back in 2017, I have been constantly using it in both editing and translation. Ever since, I suggest it to my translators at ProSciEditing.

Justyna Jupowicz-Kozak
CEO of Professional Science Editing for Scientists @ prosciediting.com