The Future of Logic: Foundation-Independence