\begin{definition}[Definition:Ansatz]
An '''Ansatz''' is a guessed solution, or general form of a solution, to a mathematical problem.
A mathematician making the '''Ansatz''' will then attempt to prove that the '''Ansatz''' is indeed a solution to the original problem.
If he or she succeeds, the '''Ansatz''' is justified retroactively.
\end{definition}