ఈ వాక్యం యొక్క మరింత సంక్లిష్టమైన సంస్కరణను రూపొందించండి ఐడెంటిటీతో మొనాడిక్ ప్రెడికేట్ కాలిక్యులస్ యొక్క ప్రామాణికతలు నిర్ణయాత్మకమైనవి.
వాస్తవానికి, వాక్యం యొక్క మరింత సంక్లిష్టమైన సంస్కరణ "ఐడెంటిటీతో మొనాడిక్ ప్రెడికేట్ కాలిక్యులస్ యొక్క ప్రామాణికతలు నిర్ణయించదగినవి, అయితే; ఇది మొదటి-ఆర్డర్ లాజిక్, ఇది సంతకాలకు పరిమితం చేయబడింది, దీని సంబంధం చిహ్నాలు సమానత్వం కాకుండా ఒకటి కంటే ఎక్కువ వాదనలు తీసుకోవు. "