Tagged Questions
1
vote
1answer
106 views
Can the ongoing need for a meta language be stopped by a loop?
As an afterthought to this question on sets in set theory, and more specifically to the observation that a (first-order) logic requires a meta-language to explain itself (i.e. there is already an ...
4
votes
5answers
528 views
Induction versus Natural Numbers
$0$ is finite. If $n$ is finite, then $n+1$ is finite. Hence, by induction, all numbers are finite. What is the catch?
