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