Double Negatives Foundation for Math and Logic?