Zin (wiskundige logica)