Limitările diagramelor Venn în logica categorială