Changes

The necessary method theorem asserts that the necessary element required by the non-empty mosaic theorem must be a method. It can be deduced from the second law that in order for a new theory to become accepted, the mosaic must contain at least one employed method. It can be deduced from the third law that in order for a new method to become employed, the mosaic must contain at least one theory and one other employed method. Therefore the initial element could only be a method. Barseghyan [[RefCiteCiteRef::Barseghyan (2015)|p. 230]] suggests that the primordial method might be something extremely general and vague, such as 'accept only the best theories'[[CiteRef::Barseghyan (2015)|p. 228-233]].