↧
Answer by Burak for Does inductive definitions must be supported by the set...
It depends on whether you wish to define a finite ordered tuple, say, a $3$-tuple $w=(x,y,z)$ at the metalanguage level or at the object language level.In the first case, saying $w=(x,y,z)$ is simply...
View ArticleDoes inductive definitions must be supported by the set theoretical...
In page 4 of Gödel's book The Consistency Of The Axiom Of Choice and Of The Generalized Continuum Hypothesis With The Axioms Of Set Theory, Gödel defined the $n$-tuple as$\langle x \rangle =...
View Article
![Vladimir Aćimović – Draeseke: Piano Works (2026) [FLAC 24bit/96kHz]](http://imghd.xyz/images/2026/06/27/jz9s92jaavhy5_600.jpg)
![Mumford & Sons – Blind Leading the Blind – Single [iTunes Plus M4A]](http://is1-ssl.mzstatic.com/image/thumb/Music124/v4/49/c3/83/49c38304-45c6-20d0-c6df-3b36ea8bd92a/19UMGIM89194.rgb.jpg/316x316bb.webp)