Mathematical theory of Bayesian statistics for unknown information source