---
tag: TJ345K2153
kind: concept
name: Constructive logic
sources:
  - wikipedia: en:76765067@r1368301704
    locator: Glossary of logic, section C
    note: adopted
    mention: wikipedia://en/76765067#D4KL
    sections: [Summary]
inventory: [ZNRCER2D7W]
---

## Summary

A branch of logic that emphasizes the constructive proof of existence, requiring an explicit construction of an object to assert its existence rather than relying on indirect arguments.