Definition: Elementet x kallas äkta om allt som x påstår kan härledas direkt ur x kännedom.
Sats: Om x och y är två ömsesidigt äkta element så kommer (x,y) utgöra ett ordnat par när t går mot evigheten.
Bevis: Följer direkt ur en ekvivalent version av urvalsaxiomet.
* * *För att prata lite mera matematik då
(
Read more... )