The logical systems of Lesniewski