Proof of consistency of foundations of mathematicsдоклад на конференции