BOOLEAN-VALUED MODELS OF SET THEORY: FIRST STEPS