Why not just formal and informal? A binary scratches wrong ways, no? 😉 Maybe the question is that of various formalities? Like informal and informal?…
I placed a question in stack-overflow re maths and infinities. They put the question on hold. So copied bellow the question and initial replies.
In case they delete the content..