Your English writing platform
Discover LudwigThe phrase "auxiliary proposition" is correct and usable in written English.
It can be used in contexts related to logic, mathematics, or philosophy, where it refers to a supporting statement or proposition that aids in the understanding or proof of a main proposition.
Example: "In the proof, we will first establish the auxiliary proposition that serves to support our main argument."
Alternatives: "supporting proposition" or "subsidiary proposition".
Exact(3)
First, Let us prove the auxiliary proposition.
First, let us present the following auxiliary proposition.
Now let us give an auxiliary proposition which is used in the following arguments.
Similar(57)
In Section 5 we provide some auxiliary propositions.
In Section 3, we prove some auxiliary propositions.
Sections 3 and 4 are devoted to auxiliary propositions and proofs of the main results, respectively.
Before formulating the results on a relative controllability of (1.6), we present some auxiliary propositions.
In this section we formulate auxiliary propositions on the existence and continuity of the Marchaud fractional derivative and its integral representation in terms of the higher-order derivative.
Strong verification required that the truth of a proposition be conclusively ascertainable; weak verification required only that an observation statement be deducible from the proposition together with other, auxiliary, propositions, provided that the observation statement was not deducible from these auxiliaries alone.
In this section, we will establish auxiliary results needed for the proofs of the main propositions.
Before further providing the proof of Proposition 2.2, we shall establish the following four auxiliary lemmas.
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