---
title: "A Theorem Prover for Elementary Set Theory"
authors:
  - "Frank M. Brown"
doi: ""
url: "https://ijcai.org/proceedings/1977/122"
pdf: "https://ijcai.org/proceedings/1977/0122.pdf"
venue: "Proceedings of the Fifth International Joint Conference on Artificial Intelligence"
year: 1977
pages: "534-539"
track: "Theorem Proving"
keywords:
---

# A Theorem Prover for Elementary Set Theory

Frank M. Brown

*Proceedings of the Fifth International Joint Conference on Artificial Intelligence*, pages 534-539.

## Abstract

We describe a theorem prover for elementary set theory which is based on truth value preserving transformations, and then give an example of the protocol produced by this system when trying to prove the theorem of set theory known as Cantor's Theorem.