([200] ИМЯ ЛИЦА)

Австрийский логик, математик и философ математики, наиболее известен сформулированной и доказанной им теоремой о неполноте..