Logic

Count.

Please find linked:

• Som Sadashiv Phene . Pandurang Deore . May 23, 2021 06:22 AM Eastern Time (US and Canada)- Meeting SoS IITB - Logic 01-03 I

• Som Sadashiv Phene . Pandurang Deore . May 23, 2021 06:22 AM Eastern Time (US and Canada) Meeting Recording: Unique Identity Game

• Axiom : constraint (alphabet)
• Proof : Recursive constraint
• Sentence : Alphabet String
• Theory : Maximum encoding
• Consistent :
• Complete : All encoded
  • Finding the analogue for geometric problem
• (1928 Hilbert, Wilhelm Ackermann) Mathematics Axiom program
• (1931 Gödel) Recursive arithmetic theory incomplete
  • Proof based on Self reflection to be maximal. Local to global connection.
• Tarski

Self Reflection Unique identity