It wasn ' t always the case that we had consistent notation and logical systems to make math universal and rigorous . It was more of a wild west situation where mathematicians might not really understand why their tools work , or perhaps they just had no effective way of explaining their ideas from first principles . This school of thought is called formalism . This is still an issue , mostly because people keep insisting on naming and describing things before we even understand them a little bit . Which would be fine if when then didn ' t also refuse to rename them or change our beliefs . <| sep |> I wouldn ' t even be able to respond with bad bullshit this quickly . I wonder why he is doing this and how , if this is legit , he knows about this . Maybe it ' s ujonathannolan trolling D