### Single Idea 18163

#### [catalogued under 6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory]

Full Idea

Our much loved mathematical knowledge rests on two supports: inexorable deductive logic (the stuff of proof), and the set theoretic axioms.

Gist of Idea

Mathematics rests on the logic of proofs, and on the set theoretic axioms

Source

Penelope Maddy (Naturalism in Mathematics , I Intro)

Book Reference

Maddy,Penelope: 'Naturalism in Mathematics' [OUP 2000], p.1
{"ft_lang_label":"__label__en","ft_lang_prob":0.85112005,"math_prob":0.7310824,"size":377,"snap":"2021-43-2021-49","text_gpt3_token_len":98,"char_repetition_ratio":0.12600537,"word_repetition_ratio":0.0,"special_character_ratio":0.22281167,"punctuation_ratio":0.13235295,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.9555121,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2021-11-30T17:21:46Z\",\"WARC-Record-ID\":\"<urn:uuid:f7a37f55-a442-4a8e-a03c-185a527072b4>\",\"Content-Length\":\"3024\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:afc47b05-833f-4d56-9e29-9b434758ec68>\",\"WARC-Concurrent-To\":\"<urn:uuid:4d1ee084-c981-4c69-b67a-8aa8c1f3c871>\",\"WARC-IP-Address\":\"88.208.252.179\",\"WARC-Target-URI\":\"http://philosophyideas.com/search/response_philosopher_detail.asp?era_no=L&era=Late%2020th%20century%20(1956-2000)&id=18163&PN=3338&order=chron\",\"WARC-Payload-Digest\":\"sha1:BP3WXKVA73TVNVXTA3HKBQB6KLVZKWZL\",\"WARC-Block-Digest\":\"sha1:MNZ2QJTB5J4QVR5RAYEUYQOT6NWFEJ6Q\",\"WARC-Identified-Payload-Type\":\"application/xhtml+xml\",\"warc_filename\":\"/cc_download/warc_2021/CC-MAIN-2021-49/CC-MAIN-2021-49_segments_1637964359065.88_warc_CC-MAIN-20211130171559-20211130201559-00109.warc.gz\"}"}