Math is Prior to Logic