mathematical proof

rigorous demonstration that a mathematical statement follows from its premises
rdfs:label
"mathematical proof"@en
skos:altLabel
"proof"@en
"proof (mathematics)"@en
"proof in mathematics"@en
schema:description
"rigorous demonstration that a mathematical statement follows from its premises"@en
schema:dateModified "2026-10-13T04:40:21+00:00"^^xsd:dateTime
schema:version 2556467081
wikibase:identifiers 16
wikibase:sitelinks 115
wikibase:statements 44
p:P10 wd:statement/Q11538-6f15d002-40f0-0a5d-a7f0-12eb69651a57
wd:statement/Q11538-e36c088f-4e5e-cc37-8d0a-0ef56dade8df
wd:statement/Q11538-eeaff88a-46e8-d1f7-e75a-d8ee498dd91d
p:P10283 wd:statement/Q11538-4D973A4D-45AE-4E98-89D9-F40CC11B3310
p:P10376 wd:statement/Q11538-ee7605e1-418c-dd16-b694-dfc36f168aae
p:P13750 wd:statement/Q11538-5FDCF2D6-06E9-45B1-A41B-DB002D72F0EB
p:P1417 wd:statement/Q11538-8F7C1C62-6E00-40AE-89C9-9121480DC8C6
p:P1482 wd:statement/Q11538-0bd21b6a-4c98-b714-7ceb-d879f6d65b2f
wd:statement/Q11538-c08a4b64-4edd-4c72-de17-fc2a76db2808
p:P155 wd:statement/Q11538-6ab53b23-49e6-bc94-3397-3e73ebb678e5
p:P1552 wd:statement/Q11538-c8eaa521-4b3b-03c8-6c84-8c842f5c218b
wd:statement/Q11538-e4e194ca-4f1a-e30a-d2da-30662fc3758f
p:P1889 wd:statement/Q11538-57909BFE-3FC6-495F-917F-6BF8F7132B64
p:P2283 wd:statement/Q11538-8b8130dc-40ab-81f5-1ca5-6cc393614d37
wd:statement/Q11538-c9ccb61f-4deb-d8e8-66d4-86412bd78aa7
wd:statement/Q11538-db7e7d4c-4944-32b6-1bab-0fbd2cdc26ac
p:P2579 wd:statement/Q11538-50b9bba1-4b64-c0c2-0e43-8a42023ee96c
p:P279 wd:statement/Q11538-2fff9fb8-48ff-82c7-1673-2385e65028fa
wd:statement/q11538-832d699f-4fc8-0b5f-58a3-8f5e8a7212c4
p:P2812 wd:statement/Q11538-DE66BD40-A85D-43C1-971B-CC9F62DD55AC
p:P31 wd:statement/Q11538-39f80b3d-41b1-9bec-a20b-bfde43541b39
wd:statement/Q11538-9d2b99d7-44f9-04a7-1a5c-1436bb1c91a5
p:P3417 wd:statement/Q11538-34236911-C9E3-47D2-8C72-9D9679E34AD4
p:P3569 wd:statement/Q11538-2F17E390-8E4E-4B5D-92D6-1C5D4B1F66BB
p:P3712 wd:statement/Q11538-d9a526d8-4950-2db6-1ca3-06bb8ccb0b1d
p:P373 wd:statement/q11538-AA3A5ED2-0BC1-4462-92B9-16D5F5030005
p:P4212 wd:statement/Q11538-2049FADB-D5E9-4207-92E2-E1EE6F3DBA10
p:P460 wd:statement/Q11538-6a8dc0b1-451d-5a7f-9463-a77c17fe92e0
p:P5008 wd:statement/Q11538-7A94DAF4-6514-4E8D-88C8-1F45BDFC466D
wd:statement/Q11538-957EE10D-A634-4DCA-9637-597E60AD8AE6
p:P5063 wd:statement/Q11538-AD33EED0-774A-43BC-A8D9-AAAA0671F192
p:P5555 wd:statement/Q11538-503fa353-485d-5deb-73ba-2a764ec66c4e
p:P6104 wd:statement/Q11538-7A223ACE-5830-43D5-AB58-2F171181E56A
p:P6366 wd:statement/Q11538-18A73FF0-D63A-4AF9-8BC5-5E3E284F0F1A
p:P646 wd:statement/Q11538-8894463C-BEAB-4C6E-A6D5-0523DC9424B1
p:P6802 wd:statement/Q11538-3d0b817c-48f2-4422-d4ea-d6d23028dc72
wd:statement/Q11538-8eec2a3e-4cce-071a-15fe-59290796961c
wd:statement/Q11538-d3339a58-426e-f45f-e859-d904b7c6b4fa
p:P691 wd:statement/Q11538-0EF856CC-6522-40D8-AC4E-8C935F42F472
p:P7033 wd:statement/Q11538-2A61F13C-E49E-419F-B912-E31E0EAB0545
p:P8408 wd:statement/Q11538-3DB92417-8C5D-49C7-B685-4CAE157A990D
p:P8885 wd:statement/Q11538-b67ab52e-463c-6f71-984e-92fa07702b4b
p:P910 wd:statement/Q11538-4e2951d3-443f-10f3-319d-d8757ec7a76c
p:P9322 wd:statement/Q11538-BE35F35E-9B4B-4859-B4E0-D54B4417CBAC
p:direct-normalized/P4212 <https://ark.frantiq.fr/ark:/26678/pcrtdtgqtlY6sa>
p:direct-normalized/P5063 <http://globalwordnet.org/ili/i71413>
p:direct-normalized/P6366 <https://makg.org/entity/108710211>
p:direct-normalized/P7033 <http://vocabulary.curriculum.edu.au/scot/7777>
p:direct-normalized/P8408 <http://kbpedia.org/kko/rc/Proof>
wdt:P10 <http://commons.wikimedia.org/wiki/Special:FilePath/%D0%94%D0%BE%D0%BA%D0%B0%D0%B7%D0%B0%D1%82%D0%B5%D0%BB%D1%8C%D1%81%D1%82%D0%B2%D0%BE.webm>
<http://commons.wikimedia.org/wiki/Special:FilePath/Beweise%20-%20Quatematik.webm>
<http://commons.wikimedia.org/wiki/Special:FilePath/Pythag%20anim.gif>
wdt:P10283 "C108710211"
wdt:P10376 "mathematics/mathematical-proof"
wdt:P13750 "14542"
wdt:P1417 "topic/proof-theory"
wdt:P1482 <https://math.stackexchange.com/tags/proofs>
<https://matheducators.stackexchange.com/tags/proofs>
wdt:P155 conjecture
wdt:P1552 validity
proof
wdt:P1889 wd:Q19814025
wdt:P2283 axiom
theorem
logic
wdt:P2579 proof theory
wdt:P279 mathematical reasoning
argument
wdt:P2812 "Proof"
wdt:P31 mathematical textform
mathematical concept
wdt:P3417 "Proofs-mathematics"
wdt:P3569 "wiskunde/bewijs"
wdt:P3712 theorem
wdt:P373 "Mathematical proof"
wdt:P4212 "pcrtdtgqtlY6sa"
wdt:P460 formal proof
wdt:P5008 Wikipedia:List of articles all languages should have
Wikipedia:Vital articles/Level/4
wdt:P5063 "i71413"
wdt:P5555 <http://commons.wikimedia.org/wiki/Special:FilePath/Beispiel%20zum%20Aufbau%20eines%20Beweises.svg>
wdt:P6104 WikiProject Mathematics
wdt:P6366 "108710211"
wdt:P646 "/m/0l46k"
wdt:P6802 <http://commons.wikimedia.org/wiki/Special:FilePath/LK%20dem%20contraposition.png>
<http://commons.wikimedia.org/wiki/Special:FilePath/P.%20Oxy.%20I%2029.jpg>
<http://commons.wikimedia.org/wiki/Special:FilePath/Twocolumnproof.png>
wdt:P691 "ph307639"
wdt:P7033 "scot/7777"
wdt:P8408 "Proof"
wdt:P8885 "증명"
wdt:P910 Category:Mathematical proofs
wdt:P9322 "0249251-matematicke-dukazy"
Download as:
TurtleJSON-LDRDF/XML
data from SPARQL profile: Wikidata