Every time I said "either/or" I was making use of the law of the excluded middle. But I didn't add a detailed disclaimer explicitly highlighting this fact either. Should I have? I think it's okay to just take some things for granted.
Though, I admit that I have never spent much thought on non-effective axiomatizations. So I'm open to be educated.
Though, I admit that I have never spent much thought on non-effective axiomatizations. So I'm open to be educated.