Construeer een bewijs, regel voor regel uitgelijnd; elke stap moet volgen uit wat al in het grootboek staat, en elke logische sprong wordt weggegooid.
Het linkerdeelvenster toont de figuur, de gegevens en het doel. Het midden is een grootboek met twee kolommen met verklaringen en rechtvaardigingen dat u opbouwt. Voeg één voor één toe uit de verzameling kandidaatstappen; een stap wordt alleen geaccepteerd als de voorwaarden ervan al zijn bewezen. Leid het doel af om het bewijs te voltooien.
Lemma onderwijst rigoureus deductief bewijs en dwingt af dat elke stap gerechtvaardigd is.
Een grootboek in twee kolommen van bewering en rechtvaardiging opbouwen uit een voorraad kandidaat-stappen, is het wiskundig bewijs zoals het in de meetkunde wordt onderwezen.
De kandidaat-stappen aanleveren, is de originele steiger.
De stappen aanbieden haalt het deel weg dat vooral uitvinding is en laat het deel over dat vooral logica is: beslissen wat waaruit volgt, en in welke volgorde. Een stap die waar is maar nog niet gerechtvaardigd, is de kenmerkende fout, en die is alleen zichtbaar in de vorm met twee kolommen.
Lemma is een origineel, gratis browserlogicaspel dat rigoureus deductief bewijs leert, waarbij wordt afgedwongen dat elke claim wordt gerechtvaardigd door voorgaande regels, net zoals een echt geometriebewijs met twee kolommen vereist.