math
math CanadaPlus 1 year ago 100%

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?

6
0
Comments 0