Set theory and linguistics by Oritz