Ohhh, thanks. That explains it. I feel like there should exist things for which provable(not(p)), but I can’t think of any offhand, so that’ll do for now.
Ohhh, thanks. That explains it. I feel like there should exist things for which provable(not(p)), but I can’t think of any offhand, so that’ll do for now.