Thiếu của thủ tục này để xác nhận một lý thuyết là rõ ràng ngay lập tức. Nếu ai đã cố gắng để xác nhận một lý thuyết về thiên văn học, như exemplified bởi một vũ trụ cụ thể, sau đó một trong những có thể bắt đầu bằng cách kiểm tra về tính chính xác của các đầu vào quan sát và một cũng có thể kiểm tra lỗi trong tính toán. Tuy nhiên, tại một số điểm outplts của hệ thống sẽ được xác nhận. Một sẽ xem xét trên bầu trời để xem nếu các ngôi sao trong thực tế, ở vị trí được chỉ định bởi cung thiên văn. Trong sự vắng mặt của này bước cuối cùng, một số absurdities có thể dẫn đến. Trước tiên, các thiết lập của phương trình có thể mô tả bất kỳ tình huống nào, ví dụ như là một quỹ đạo hình chữ nhật. Nếu một trong những hạn chế các thủ tục 'xác minh ' để kiểm tra tính chính xác của các đầu vào và tính toán một, sau đó một sẽ xác nhận rằng planetarium này khá hiện vị trí của các ngôi sao. Cách duy nhất để phát hiện ra rằng quỹ đạo nên hoặc không phải là hình chữ nhật là để thực hiện một thao tác riêng biệt và so sánh kết quả của chiến dịch đó với kết quả đầu ra của hệ thống. Nếu đủ các kết quả đầu ra đã phải chịu để xác minh độc lập, lý thuyết của quỹ đạo hình chữ nhật nào được xác nhận hoặc disconfirmed. Thứ hai, nếu có hai planetariums có liên quan với các hiện tượng tương tự nhưng với bộ khác nhau của phương trình dẫn đến kết quả đầu ra mâu thuẫn, sau đó các thủ tục kiểm định có thể yêu cầu cả hai người trong số họ được chứng nhận là đúng khi ít nhất một trong số họ là nhất thiết phải sai. Cuối cùng, số lượng các bộ khác nhau của các phương trình với kết quả đầu ra khác nhau là vô hạn
đang được dịch, vui lòng đợi..