# Mathematician:Gaisi Takeuti

From ProofWiki

## Mathematician

**Gaisi Takeuti** (竹内 外史, also rendered **Takeuchi Gaishi**) is a Japanese mathematician specialising in logic and set theory.

## Nationality

Japanese

## History

- Born: January 25, 1926
- Died: May 10, 2017

## Theorems and Definitions

## Publications

- 1953:
*On a generalized logic calculus*(*Japanese Journal of Mathematics***Vol. 23**: 39 – 96) - 1971:
*Introduction to Axiomatic Set Theory*(with Wilson M. Zaring) - 1975:
*Proof Theory*(2nd edition: 1987)