Ak pravdivost nejakej vety vyplyva z pravdivosti inych viet, tak sa to vyjadruje vztahmi, v ktorych sa navzajom nachadzaju formy tychto viet; a sice, nemusime ich do tychto vztahov uviest az tym, ze ich navzajom spojime v jednej vete, ale tieto vztahy su interne a existuju, len co - a tym, ze - existuju one vety.