The notion of the Weakly Formal System in Mathematical Informatics. доклад на конференции