[ 3 / biz / cgl / ck / diy / fa / ic / jp / lit / sci / vr / vt ] [ index / top / reports ] [ become a patron ] [ status ]
2023-11: Warosu is now out of extended maintenance.

/sci/ - Science & Math

Search:

View post   
>> No.7364053 [View]
File: 100 KB, 575x317, Screen Shot 2015-06-30 at 08.32.56.png [View same] [iqdb] [saucenao] [google]
7364053

>>7362893
No construction of the reals assume the reals exist, that would be assuming what you want to prove. Look at the picture I uploaded, that theorem is proved by Dedekind's construction of the reals, you seriously think the proof of it goes "assume the reals exists already, QED"?

Navigation
View posts[+24][+48][+96]