"ઔપચારિક તર્કશાસ્ત્રના ક્ષેત્રમાં, હાયસ્ટોરન પ્રોટેરોન વારાફરતી એક 'અસંગત' વ્યુત્ક્રમને સૂચિત કરે છે, આ કિસ્સામાં 'સાચું એમ ધારી રહ્યા છીએ તે તાર્કિક તર્ક છે અને એક પ્રણાલી તરીકે પ્રસ્તુતિ જે હજુ સુધી સાબિત થવી જોઈએ તે રીતે ઉપયોગ કરી રહી છે,' અથવા એક પ્રપોઝલની સાબિતી અન્ય એક કે તે presupposes સંદર્ભ દ્વારા.