ஒரு உண்மை என்று அவற்றை சேர்க்க முடியாது இடையே பதிவேடுகளுள்ள, அதாவது சராசரி, மற்றும் என்று வேண்டும் ஆகியவை உள்ள ஒரு பெறுமானத்தைக் கொண்டு பிற உண்மைகள் முன் பதிவுகளை முழுவதும் பரவும்.