Formula Of Mathematical Logic