A mathematical approach to universality in two dimensions