Wikidata facts
- Instance of
- theorem
- Part of
- list of theorems
- Main subject
- first-order logic
Show 3 more facts
- maintained by WikiProject
- WikiProject Mathematics
- studied by
- mathematical logic
- proved by
- William Craig
Sources (1)
via Wikidata · CC0
via Wikidata · CC0