Intuitionistic Formal Spaces — A First Communication