Virtual Logic—Laws of Form and the Transfinite Ordinals