Egungo Euskararen Hiztegia (EEH)
dedukziodeduktiboki adlag dedukzioaren bidez.
Bi gorputzek, beren biluztasunaz harrituak bezala, beren neurriko aritmetika binario ttiki bat asmatu dute eta -paperezko teorietan ezinkizun dena- deduktiboki osabete, eta, hori aski ez dela, bukaera post-axiomatiko asebetegarri batez errekurtsiboki bedeinkatu, biak goxoki, unibertsitateko arratsalde urduri haietan bezalaxe. Iñaki Segurola «Gaur ere ez du hiltzeko eguraldirik egingo», 2005 - 231. orr.
