Aristotle,
Posterior Analytics (Bouchier)…
(1901)
“ It is clear then that not everything which is capable of demonstration also admits of being defined; but then the further question arises:—When a thing is definable is it invariably capable of demonstration or not? ”
