User talk:178.165.205.255

April 2023
Hello, I'm Roundish. I wanted to let you know that one or more of your recent contributions&#32;to Heyting arithmetic have been undone because they did not appear constructive. If you would like to experiment, please use the sandbox. If you have any questions, you can ask for assistance at the Teahouse or the Help desk. Thanks. ( Roundish  ⋆  t ) 00:01, 24 April 2023 (UTC)