Twierdzenia jednostkowe Twierdzenia jednostkowe stanowią twierdzenia o poszczególnych obiektach i zbiorach w sensie kolektywnym (mereologicznym). Zbiór w sensie kolektywnym (mereologicznym), to całość złożona z pewnych części, np. las jako suma drzew, krzewów i ściółki leśnej lub np. człowiek jako zbiór organów, czyli jako całość złożona z części, lub też biblioteka jako zbiór książek i regałów. Taki zbiór jest faktycznie całością o charakterze czasoprzestrzennym, złożoną z części, które również stanowią konkretne obiekty.
Twierdzenia jednostkowe atomowe są to twierdzenia elementarne, np. „Merkury nie posiada księżyca”, natomiast twierdzenia jednostkowe molekularne, to twierdzenia złożone z pewnej (skończonej) liczby twierdzeń atomowych, np. „Merkury i Wenus nie posiadają księżyców”.