Lazi

Lazi.1

Lazi.1 est un ensemble d'extension ajoutant ce qui est considéré comme la base des mathématiques: variables, quantificateurs, définitions etc. Lazi.0 est la fondation mathématique, et donc Lazi.1 n'en fait pas parti.