[ 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.15944721 [View]
File: 48 KB, 1080x826, Screenshot_2023-12-17-12-46-39-68_572064f74bd5f9fa804b05334aa4f912.jpg [View same] [iqdb] [saucenao] [google]
15944721

>>15944686
The incompleteness results rely on the axioms being R-decidable. So if you negate any incompleteness result, it immediately implies your axioms are not R-decidable, which is worse than not being finitely axiomatizable.

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