If is the set of simple meanings whose bearers we would classify as logical vocabulary, then we may call true sentence meanings logically true; if is the set of simple meanings whose bearers we would classify as mathematical (including logical) vocabulary, we may call true sentence meanings mathematically true.