Die wohlfundierte Induktion ist eine formale mathematische Beweismethodik, welche auch in der Informatik (zum Beispiel in funktionalen Programmiersprachen) Anwendung findet.
Durch Induktion sollen die gebündelten Erdstrahlen dann in den Schutzleiter der an einer Steckdose angeschlossenen Zuleitung übergeleitet werden und in die Erde abfließen.