Let R be a set of rules *inducing a set S of individuals*. What is your favorite way of defining S from R?
[A] Nothing is a member of S unless it is produced by the rules in R. [B] S is the smallest set closed under R. [C] S is generated by R through a fixed-point construction. [D] None of the above. https://twitter.com/antitheorem/status/1763573386054095173 -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@dimap.ufrn.br> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para acessar esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LiMz4NSd0Ts5pwJ%3DXb8OxvfkRN1Y4pwobBengVqyw2Zkw%40mail.gmail.com.
