[ 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.15227983 [View]
File: 25 KB, 338x450, 504037738-m.jpg [View same] [iqdb] [saucenao] [google]
15227983

>>15227374
So, we don't know what Jech means by "consistent"
All we know is that he didn't include the scoping rules for guard variables in subproofs of Fitch derivations or anything even remotely like it.
I'm singling Jech out, but it's a problem for every written source that refers to a "recursive proof" Gödel-type fallacy.

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