Lojban as a math problem solution language

• https://mw.lojban.org/papri/ctununta'a_la_feinman_fi_lo_nu_kanji
• http://guskant.github.io/lojbo/jetnujarco.html
• https://mw.lojban.org/papri/mathematical_proof
• https://mw.lojban.org/papri/axiom_of_stratified_comprehension--Mekso_example
• https://mw.lojban.org/papri/mathematical_induction