A mathematical logic without variables