Formal Pholosophy of Science: Statement and Set-Theoretic Approachesдоклад на конференции