1. Мир есть всё то, что имеет место.
2. То, что имеет место, что является фактом, — это существование атомарных фактов.
3. Логический образ фактов есть мысль.
4. Мысль есть осмысленное предложение.
5. Предложение есть функция истинности элементарных предложений. (Элементарное предложение — функция истинности самого себя.)
6. Общая форма функции истинности есть: [p, x, N(x)]. Это есть общая форма предложения.
7. О чём невозможно говорить, о том следует молчать.