თეორემა: ღმერთი არსებობს.
დამტკიცება: განვიხილოთ წინადადება
S:
“თუ
S სწორია, მაშინ ღმერთი არსებობს.”
ლემა 1: თუ
S სწორია, მაშინ ღმერთი არსებობს.
შემთხვევა 1:
S სწორია. რადგან “თუ
S სწორია, მაშინ ღმერთი არსებობს,” მაშინ ღმერთი არსებობს.
შემთხვევა 1:
S არასწორია. მაშინ “თუ
S სწორია, მაშინ ღმერთი არსებობს.” სწორია. რადგან მეტი შემთხვევა არ არსებობს, QED ლემა 1.
ლემა 2:
S სწორია.
იხ. ლემა 1. QED ლემა 2.
რადგან ლემა 1 სწორია და ლემა 2 სწორია, ღმერთი არსებობს. QED თეორემა.
ვსიო. დამტკიცებაში “ღმერთი არ არსებობს”-ის ჩანაცვლება არც იფიქროთ