A conditional proof corresponds to the application of what Douglas Hofstadter calls the Fantasy Rule in his masterwork GEB:EGB. Surprisingly, the theory of propositional calculus which he develops in GEB:EGB employs several inference rules but no axioms: the need for any axioms is done away with through application of the Fantasy Rule.

There could even be a case made for treating Jane Harrison as a founding mother of social science (Beard, 2000).

the flight deck of the Airbus A380

Fourier transforms are not limited to acting on functions of time, but the domain of the original function is commonly called the time domain.