• Axiomas:

       

      1. Quaisquer dois membros de K estão contidos em apenas um membro de L.

      2. Nenhum membro de K está contido em mais do que dois membros de L.

      3. Os membros de K não estão todos contidos em um único membro de L.

      4. Quaisquer dois membros de L contêm apenas um membro de K.

      5. Nenhum membro de L contém mais do que dois membros de K.

       

       

      Teorema: K contém apenas três membros