proof

Table of Contents

Introduction References & Edit History Quick Facts & Related Topics

Read Next

Computer mapping, woman at early 1990s computer

Timeline of the 1990s

Discover

Saint Lucia Day. Young girl wears Lucia crown (tinsel halo) with candles. Holds Saint Lucia Day currant laced saffron buns (lussekatter or Lucia's cats). Observed December 13 honor virgin martyr Santa Lucia (St. Lucy). Luciadagen, Christmas, Sweden

7 Winter Solstice Celebrations From Around the World

Facsimile of one of William Henry Ireland's forgeries, a primitive self-portrait of William Shakespeare(tinted engraving). Published for Samuel Ireland, Norfolk Street, Strand, December 1, 1795. (W.H. Ireland, forgery)

The Time a Law Clerk Successfully Forged a New Shakespeare Play to Impress His Dad

Entrants falling and tumbling over while chasing the cheese at the 2016 'Cheese Rolling' held at Cooper's Hill, in the Cotswolds, Brockworth England

7 of the World’s Most Dangerous Festivals

Orange basketball on black background and with low key lighting. Homepage 2010, arts and entertainment, history and society

The 10 Greatest Basketball Players of All Time

The impeachment trial of Pres. Andrew Johnson, illustration from Frank Leslie's Illustrated Newspaper, March 28, 1868.

What If the President Is Impeached?

Ice Sledge Hockey, Hockey Canada Cup, USA (left) vs Canada, 2009. UBC Thunderbird Arena, Vancouver, BC, competition site for Olympic ice hockey and Paralympic ice sledge hockey. Vancouver 2010 Olympic and Paralympic Winter Games, Vancouver Olympics

10 Best Hockey Players of All Time

World Data Locator Map: Australia

Is Australia an Island?

proof: References & Edit History

More Articles On This Topic

Assorted References

axiomatization of PC
- In formal logic: Axiomatization of PC
Chinese mathematics
- In East Asian mathematics: The commentary of Liu Hui
foundations of mathematics
- In mathematics: The foundations of geometry
Greek mathematics
- In mathematics: The pre-Euclidean period
natural deduction method in PC
- In formal logic: Natural deduction method in PC

Article Contributors

Primary Contributors

The Editors of Encyclopaedia Britannica

Other Encyclopedia Britannica Contributors

Article History

Type	Description	Contributor	Date
	Add new Web site: LiveScience - What Is a Proof?	Gloria Lotha	Sep 10, 2019
	Added new Web site: Wolfram MathWorld - Derivation.	Veenu Setia	Jun 17, 2009
	Added new Web site: Metamath Home Page.	John Higgins	May 24, 2006
	Article added to new online database.	The Editors of Encyclopaedia Britannica	Jul 20, 1998