Gli assiomi di appartenenza e di ordine