Définitionsjugeable