Variable Logic Mathematics