(That’s how we write a ‘proof’ that’s wordy – then simplify to ordinary language for communication with others. This way we know we can testify to the proof because we know we can state the sentence in Strict E but we restore ordinary language for easy communication.)
Source date (UTC): 2022-08-07 02:47:54 UTC
Original post: https://twitter.com/i/web/status/1556109850433781760
Reply addressees: @SaitouHajime00
Replying to: https://twitter.com/i/web/status/1556107157551976449
Leave a Reply