>>878
それは、そもそも手続き型とは何か？ 関数型とは何か？
が論理的に定義されていないからなの？

それとも、そのレベルのものは論理的に定義されているが、
CPU に入力する機械語とは何か？ Lispマシンとは何か？
の方が論理的に定義されていないからなの？

前者なら、このスレ自体議論できないよ