On Friday, December 20, 2013 12:14:11 PM UTC-4, muec...@rz.fh-augsburg.de wrote:
>the number of finite formulas is countable.
The finite formulas that produce 0/1 sequences *are* the potentially infinite 0/1 sequences. There is no list of the potentially infinite 0/1 sequences, thus there is no list of finite formulas. Note that this conclusion was reached without recourse to "actual infinity". If there is a contradiction it is a contradiction with "potential infinity".