completeness

Table of Contents

Introduction References & Edit History Related Topics

Read Next

Spiral Galaxy type Sa-Sb or Sa/Sb in the constellation Virgo. The majestic Sombrero Galaxy Messier 104 (M104) or NGC 4594. The team took six pictures of the galaxy, stitched them together to create the final composite image. Photo from May-June 2003

9 Britannica Articles That Explain the Meaning of Life

Discover

President Richard M. Nixon smiles and gives the victory sign as he boards the White House helicopter after his resignation on August 9, 1974 in Washington, D.C.

Timeline of the 1970s

Queen Elizabeth II addresses at opening of Parliament. (Date unknown on photo, but may be 1958, the first time the opening of Parliament was filmed.)

All 119 References in “We Didn’t Start the Fire,” Explained

Stylish light blue jeans on wooden background, closeup of inset pocket

Why Do Jeans Have That Tiny Pocket?

Computer mapping, woman at early 1990s computer

Timeline of the 1990s

Horses. Equus caballus. Horse stable. A brown horse looks out from his stall through the window.

Horsing Around: 7 of the Weirdest Racehorse Names in History

green digital binary symbols

What Comes After Terabyte?

Vietnam War. U.S. President Lyndon B. Johnson awards the Distinguished Service Cross to First Lieutenant Marty A. Hammer, during a visit to military personnel, Cam Ranh Bay, South Vietnam, October 26, 1966. President Johnson

Vietnam War Timeline

completeness: Related Content

Written and fact-checked by The Information Architects of Encyclopaedia Britannica

Topics

Gödel’s completeness theorem weak completeness strong completeness Gödel’s first incompleteness theorem metalogic logic formal system history of logic formal logic applied logic modern logic ancient logic philosophy of logic medieval logic syllogistic fuzzy logic predicate calculus

Dig Deeper: More Articles That Discuss This Topic

history of logic: Syntax and proof theory