existence
131Disjunction and existence properties — In mathematical logic, the disjunction property is satisfied by a logic if whenever a sentence is a theorem, then either ϕ is a theorem, or ψ is a theorem. The existence property or witness property is satisfied by a logic if whenever a sentence… …
132La roue de l'existence karmique — Roue de l existence karmique Bhava cakra tibétaine (monastère de Séra). La roue de l existence karmique (sanskrit bhava cakra, pâli bhava cakka) est, dans le bouddhisme, une représentation figurative du samsara, ayant d ailleurs pour synonyme… …