Report Quote #12681

//explaining natural numbers to a hypothetical alien who can do Fitch-style proofs really well Rose: This is like if you try to teach a board game to a really smart person. Rose: You start explaining it, and very quickly they get annoyed, and say "stop trying to explain it! Just tell me all the rules."