Skip Navigation

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
0 comments