Which approach offers a clear, precise, and consistent way to document system requirements?

Explanation

Among the options, mathematically based formal techniques ensure that system requirements are documented in a clear, precise, and consistent manner, eliminating ambiguity.