User:Phrygas/sandbox

For an explanation see https://math.stackexchange.com/a/3262093/754923, and also see see Ian Chiswell and Wilfrid Hodges' Mathematical Logic, chapter 5 Phrygas (talk) 07:42, 23 May 2022 (UTC)