V Bertrand Russell' s teorie typů, tvrzení je věc psaní, to je, přiřazovat typ. Konečný popis ve skutečnosti obsahuje požadavek existence.
Toto je disambiguation strana; to je, jeden to jen směřuje k jiným stranám, které by mohly jinak mít stejné jméno. Jestliže vy jste následovali spojení tady, vy byste mohli chtít vrátit se a opravit to spojení na důvod k vhodné specifické straně.