Сформулировать метатеорему

Перевод сформулировать метатеорему на английский язык

Важно сначала сформулировать метатеорему, прежде чем приступать к доказательству.

It's important to first formulate the metatheorem before proceeding to the proof.