Yes, there is a proof.
http://lesswrong.com/lw/s0/where_recursive_justification_hits_bottom/ljr
Yes, there is a proof.
http://lesswrong.com/lw/s0/where_recursive_justification_hits_bottom/ljr