Nevertheless, theorems are usually expressed in natural language rather than in a completely symbolic form, with the intention that the reader can produce a formal statement from the informal one.
با این وجود، نظریه‌ها معمولاً در زبان طبیعی، و نه در یک فرم کاملاً نمادین بیان می‌شود، با این هدف که خواننده می‌تواند یک گزاره رسمی تولید کند.