Is there a question about a purely finite structure that's independent of ZF, or just ZF-infinity?
Is there a question about a purely finite structure that's independent of ZF, or just ZF-infinity?
If not, that seems like a good argument in favour of finitism. If so, what if anything does it mean if you solve it by brute force?
0
comments