English theorem
Pronunciation
• IPA: /ˈθiː.ə.ɹəm/, /ˈθɪəɹ.əm/
Noun

theorem (plural theorems)

1. (mathematics) A mathematical statement of some importance that has been proven to be true. Minor theorems are often called propositions. Theorems which are not very interesting in themselves but are an essential part of a bigger theorem's proof are called lemmas.
2. (mathematics, colloquial, nonstandard) A mathematical statement that is expected to be true
''Fermat's Last Theorem was known thus long before it was proved in the 1990s.
3. (logic) A syntactically correct expression that is deducible from the given axioms of a deductive system.
Synonyms
Related terms Translations
Translations
Verb

theorem (theorems, present participle theoreming; past and past participle theoremed)

1. (transitive) To formulate into a theorem.

This text is extracted from the Wiktionary and it is available under the CC BY-SA 3.0 license | Terms and conditions | Privacy policy 0.005
{"ft_lang_label":"__label__en","ft_lang_prob":0.87483996,"math_prob":0.93662244,"size":1434,"snap":"2021-31-2021-39","text_gpt3_token_len":403,"char_repetition_ratio":0.115384616,"word_repetition_ratio":0.24644549,"special_character_ratio":0.22524408,"punctuation_ratio":0.16115703,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.9949669,"pos_list":[0,1,2,3,4],"im_url_duplicate_count":[null,null,null,null,null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2021-09-23T04:00:15Z\",\"WARC-Record-ID\":\"<urn:uuid:d631a0a0-0eb3-45de-8543-c6835db8f00f>\",\"Content-Length\":\"10826\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:470f3859-9279-4f84-a439-5f6602501c27>\",\"WARC-Concurrent-To\":\"<urn:uuid:a51a08a8-95b4-43e6-adf2-4ae40a315a8c>\",\"WARC-IP-Address\":\"104.21.57.126\",\"WARC-Target-URI\":\"https://thesaurus.altervista.org/dict/en/theorem\",\"WARC-Payload-Digest\":\"sha1:Q75UPULSG357NEAEN7X2GHBNSXP5ZIPB\",\"WARC-Block-Digest\":\"sha1:TYMC7CUWMBQAFZGXGS6QDO2ZC72NZUSQ\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2021/CC-MAIN-2021-39/CC-MAIN-2021-39_segments_1631780057416.67_warc_CC-MAIN-20210923013955-20210923043955-00145.warc.gz\"}"}