Set Theory, Logic and their Limitations